Mobile Calculi based on Domains


A Multi-Threaded Asynchronous Language

H. Paulino and P. Marques and L. Lopes and V. Vasconcelos and F. Silva

Abstract

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.

@InProceedings\{paulino.marques.lopes.etal:async-lang,
  author = \{H. Paulino and P. Marques and L. Lopes and V. Vasconcelos and F. Silva},
  title = \{A Multi-Threaded Asynchronous Language},
  booktitle = \{7th International Conference on Parallel Computing Technologies (PaCT 03)},
  year = \{2003}, 
  pages = \{316--323}, 
  volume = \{2763}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{http://mikado.di.fc.ul.pt/repository/paulino.marques.lopes.etal_async-lang.pdf}
}


About this site. Last modified: Fri Mar 29 11:29:55 CET 2024