A Multi-threaded Asynchronous Language

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Citations (Scopus)


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.
Original languageUnknown
Title of host publicationlecture Notes in Computer Science
Publication statusPublished - 1 Jan 2003
EventInternational Conference Parallel Computing Tecnologies (PaCT) -
Duration: 1 Jan 2003 → …


ConferenceInternational Conference Parallel Computing Tecnologies (PaCT)
Period1/01/03 → …

Cite this