Asynchronous sequential processes

DOI10.1016/J.IC.2008.12.004MaRDI QIDQ1013090zbMATH OpenOpenAlexFDO

Authors Denis Caromel, Ludovic Henrio, Bernard Paul Serpette

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

componentsconcurrencydeterminismdistributionfuturesobject calculusobject-oriented languagesparallelism

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)

Recommendations

• Asynchronous and deterministic objects
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• scientific article; zbMATH DE number 6721685
• scientific article; zbMATH DE number 2161893
• Secured information flow for asynchronous sequential processes

Cites work

• A calculus of mobile agents
• A calculus of mobile processes. II
• A Complete Guide to the Future
• A concurrent lambda calculus with futures
• A foundation for actor computation
• Aliasing models for mobile objects
• Asynchronous and deterministic objects
• Compilation and equivalence of imperative objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1569124 (Why is no real title available?)
• MULTILISP: a language for concurrent symbolic computation
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Partial confluence of processes and systems of objects
• Precise interprocedural dataflow analysis with applications to constant propagation

Cited in

(7)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Secured information flow for asynchronous sequential processes
• Secure implementation of asynchronous method calls and futures
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• Active Objects with Deterministic Behaviour
• Behavioral interface description of an object-oriented language with futures and promises

Describes a project that uses

Uses Software

• Multilisp
• Creol
• AmbientTalk

This page was built for publication: Asynchronous sequential processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1013090)