Concurrency and Reactivity: Interleaving

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_8 ◽

2005 ◽

pp. 75-82 ◽

Author(s):

Heinrich Rust

Download Full-text