Abstraction and modularity mechanisms for concurrent computing

Authors:
Gul Agha;Svend Frølund;Woo Young Kim;Rajendra Panwar;Anna Patterson;Daniel Sturman
Affiliations:
-;-;-;-;-;-
Venue:
Research directions in concurrent object-oriented programming
Year:
1993

Object oriented modelling with object petri nets

Concurrent object-oriented programming and petri nets
Formal reasoning about actor programs using temporal logic

Concurrent object-oriented programming and petri nets
Concurrency in CoOperative Objects

HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Away from the sequential paradigm tarpit: modelling and programming with actors, concurrent objects and agents

Proceedings of the Second International Workshop on Combined Object-Oriented Modelling and Programming Languages

Hi-index	0.00