Asynchronous sequential processes

DOI10.1016/J.IC.2008.12.004zbMath1170.68026OpenAlexW2018547143MaRDI QIDQ1013090

Bernard Paul Serpette, Denis Caromel, Ludovic Henrio

Publication date: 16 April 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00071834/file/RR-4753.pdf

zbMATH Keywords

determinismdistributionparallelismfuturescomponentsconcurrencyobject calculusobject-oriented languages

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Behavioral interface description of an object-oriented language with futures and promises

Uses Software

• Multilisp
• Creol
• AmbientTalk

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Precise interprocedural dataflow analysis with applications to constant propagation
• Creol: A type-safe object-oriented model for distributed concurrent systems
• A concurrent lambda calculus with futures
• A calculus of mobile processes. II
• Partial confluence of processes and systems of objects
• Aliasing models for mobile objects
• Asynchronous and deterministic objects
• MULTILISP: a language for concurrent symbolic computation
• A foundation for actor computation
• Compilation and equivalence of imperative objects
• Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
• A Complete Guide to the Future
• A calculus of mobile agents

This page was built for publication: Asynchronous sequential processes