We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.
|Title of host publication||lecture Notes in Computer Science|
|Publication status||Published - 1 Jan 2003|
|Event||International Conference Parallel Computing Tecnologies (PaCT) - |
Duration: 1 Jan 2003 → …
|Conference||International Conference Parallel Computing Tecnologies (PaCT)|
|Period||1/01/03 → …|