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

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

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 (4)

• Actors and their composition
• Title not available (Why is that?)
• Giving back some freedom to the system designer
• Title not available (Why is that?)

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)