Temporal logic of programs
Abstraction and modularity mechanisms for concurrent computing
Research directions in concurrent object-oriented programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
CoOperative Objects (COOs) are a concurrent object-oriented modelling and programming language, which uses the Petri net theory to define the concurrency within each object, among objects, and also the inter-object asynchronous communication. SYROCO is a C++ implementation of CoOperative Objects which proves to be efficient and convenient enough to support real size applications.The paper aims to show that intra-object concurrency is of paramount importance for models of object-oriented concurrency, and that intra-object concurrency is smartly supported by the integration of the object-oriented and Petri net paradigms. Namely, it discusses the model of concurrency adopted by COOs, and details how it is implemented in SYROCO.