Creol goes Linda

We introduce Creol, a modeling language for concurrent distributed systems based on asynchronous communication. To illustrate Creol's concurrency and communication model we compare it to Java. We give a notion of deadlock for Creol programms and show how to model Creol programs in Linda (to provide deadlock detection in the future).  

hosted by