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

DOI10.1007/3-540-61363-3_1zbMATH Open1418.68130OpenAlexW1553277691MaRDI QIDQ4633151FDOQ4633151

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

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

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)

Cites Work

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

Cited In (9)

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

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)