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

DOI10.1007/3-540-61363-3_1zbMath1418.68130OpenAlexW1553277691MaRDI QIDQ4633151

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 computationconcurrent systemlambda abstractionremote 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

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