A formalism for real-time concurrent object-oriented computing
- 31 October 1992
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 27 (10) , 315-326
- https://doi.org/10.1145/141936.141963
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- DROLPublished by Association for Computing Machinery (ACM) ,1992
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Object-oriented real-time language design: constructs for timing constraintsPublished by Association for Computing Machinery (ACM) ,1990
- Viewing object as patterns of communicating agentsPublished by Association for Computing Machinery (ACM) ,1990
- A calculus for communicating systems with time and probabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Distributed bisimulationsJournal of the ACM, 1989
- A complete axiomatisation for observational congruence of finite-state behavioursInformation and Computation, 1989
- Operational semantics of a parallel object-oriented languagePublished by Association for Computing Machinery (ACM) ,1986