- Title
- An Operational Semantics for Timed CSP
- Creators
- S Schneider
- Publication Details
- Information and Computation, Vol.116, pp.193-213
- Publisher
- Elsevier
- Date published
- 1995
- Date submitted
- 17/05/2017
- Identifiers
- 99515852202346
- Academic Unit
- University of Surrey
- Resource Type
- Journal article
Journal article
An Operational Semantics for Timed CSP
Information and Computation, Vol.116, pp.193-213
1995
Metrics
14 Record Views