An Operational Semantics for Timed CSP (Q60173625)
Jump to navigation
Jump to search
article published in 1995
Language | Label | Description | Also known as |
---|---|---|---|
English | An Operational Semantics for Timed CSP |
article published in 1995 |
Statements
An Operational Semantics for Timed CSP (English)
0 references
February 1995
0 references
116
0 references
2
0 references
193-213
0 references