Modeling concurrent systems: actors, nets, and the problem of abstraction and composition

DOI10.1007/3-540-61363-3_1MaRDI QIDQ4633151zbMATH OpenOpenAlexFDO

Authors Gul A. Agha

Publication date 2 May 2019

Published in Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61363-3_1

zbMATH Keywords

concurrent systemlambda abstractionconcurrent computationremote procedure callinteraction policy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3902011
• Actors: A model for reasoning about open distributed systems
• Actors and their composition
• Modeling actor systems using dynamic I/O automata
• Composable semantic models for actor theories

Cites work

• A foundation for actor computation
• Reasoning about meta level activities in open distributed systems

Cited in

(9)

• Giving back some freedom to the system designer
• scientific article; zbMATH DE number 3902011 (Why is no real title available?)
• The network as a language construct
• Prototyping concurrent systems with agents and artifacts: framework and core calculus
• scientific article; zbMATH DE number 2182600 (Why is no real title available?)
• Scala actors: Unifying thread-based and event-based programming
• Actors and their composition
• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• Modeling actor systems using dynamic I/O automata

This page was built for publication: Modeling concurrent systems: actors, nets, and the problem of abstraction and composition

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