Partial orderings of event sets and their application to prototyping concurrent, timed systems
Open Access
- 30 June 1993
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 21 (3) , 253-265
- https://doi.org/10.1016/0164-1212(93)90027-u
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Specifying concurrent systems with TSLIEEE Software, 1991
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- ANNAACM SIGPLAN Notices, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963