Petri nets: an introduction
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communication and concurrency
The gamma model and its discipline of programming
Science of Computer Programming
A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
A calculus of mobile processes, I
Information and Computation
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
| Hi-index | 0.00 |
This paper presents an agent-oriented formalism based on Logic Programming and Predicate/Transition Nets. The problem of moving philosophers is used as application example. A distributed system is considered as a result of composition of agents, which are instances of predefined classes. A main objective is to describe dynamic systems of communicating agents.