An introduction to compositional methods for concurrency and their application to real-time. (Q5955749)
From MaRDI portal
scientific article; zbMATH DE number 1706632
Language | Label | Description | Also known as |
---|---|---|---|
English | An introduction to compositional methods for concurrency and their application to real-time. |
scientific article; zbMATH DE number 1706632 |
Statements
An introduction to compositional methods for concurrency and their application to real-time. (English)
0 references
18 February 2002
0 references
0 references