Partial orderings of event sets and their application to prototyping concurrent, timed systems

The Journal of Systems and Software

Volumn 21, Issue 3, 1993, Pages 253-265

  Luckham, David C ^a   Vera, James ^a   Bryan, Doug ^a   Augustin, Larry ^a   Belz, Frank ^b  

^a STANFORD UNIVERSITY   (United States)

^b NORTHROP GRUMMAN CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA HANDLING; INFORMATION MANAGEMENT; OBJECT ORIENTED PROGRAMMING;

CONCURRENT SYSTEMS; DATA FLOW; EVENT SETS; PARTIAL ORDERING;

SYSTEMS ENGINEERING;

EID: 0027608415     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(93)90027-U     Document Type: Article

References (22)

1. IEEE Standard 1076–1987
2. Introduction to the ISO specification language LOTOS
3. Synchronous Programming of Reactive Systems: An Introduction to Esterel
4. A new approach to prototyping Ada-based hardware/software systems
5. Rapide-0.2 Language and Tool-Set Overview
6. Virtual time and global states of distributed systems
7. Time, Clocks and the Ordering of Events in a Distributed System
8. Timestamps in Message-Passing Systems that Preserve the Partial Ordering
9. An Efficient Implementation of Vector Clocks
10. Exploiting locality in maintaining potential causality
11. An extension of standard ML modules with subtyping and inheritance
12. Design of a Separable Transition-Diagram Compiler
13. Verification of VHDL designs using VAL
14. Task sequencing language for specifying distributed Ada systems: TSL-1
15. Specifying Concurrent Systems with TSL
16. Automated Analysis of Discrete Event Simulations Using Event Pattern Mappings
17. Validating discrete event simulations using event pattern mappings
18. Anna Towards a Language for Annotating Ada Programs
19. An Overview of Anna, a Specification Language for Ada