Towards Performance Evaluation in Process Algebras
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On the ill-timed but well-causedPublished by Springer Nature ,1993
- Timed testing of concurrent systemsPublished by Springer Nature ,1993
- Weighted basic Petri netsPublished by Springer Nature ,1988
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987