Formalisation of the behavior of actors by colored Petri nets and some applications
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 110-127
- https://doi.org/10.1007/3-540-54152-7_61
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Net-based description of parallel object-based systems, or POTs and POPsPublished by Springer Nature ,1991
- Actor grammarsTheory of Computing Systems, 1989
- Programming languages for distributed computing systemsACM Computing Surveys, 1989
- Topological properties of hypercubesIEEE Transactions on Computers, 1988
- Compiling objects into actors (abstract only)ACM SIGPLAN Notices, 1986
- An overview of actor languagesACM SIGPLAN Notices, 1986
- Concepts and Notations for Concurrent ProgrammingACM Computing Surveys, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977
- MonitorsCommunications of the ACM, 1974