Actors: A model for reasoning about open distributed systems

MaRDI QIDQ2906942zbMATH OpenFDO

Authors Gul A. Agha, Prasannaa Thati, Reza Ziaei

Publication date 5 September 2012

zbMATH Keywords

Actor languageActorsmodels of concurrencyopen distributed systems

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Composable semantic models for actor theories
• scientific article; zbMATH DE number 1686284
• Proof-theoretic foundations for the design of actor systems
• A foundation for actor computation
• scientific article; zbMATH DE number 1696902

Cited in

(8)

• Composable semantic models for actor theories
• scientific article; zbMATH DE number 3902011 (Why is no real title available?)
• scientific article; zbMATH DE number 1231617 (Why is no real title available?)
• Proof-theoretic foundations for the design of actor systems
• Modeling concurrent systems: actors, nets, and the problem of abstraction and composition
• Coordinating asynchronous and open distributed systems under semiring-based timing constraints
• A model of actors and grey failures
• Actors and their composition

This page was built for publication: Actors: A model for reasoning about open distributed systems

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