A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
Marco Fischer | Stefan Förster | André Windisch2004
Typ | InCollection |
Quelle | Languages for System Specification S. 271 - 283 |
Verlag | Kluwer Academic Publishers |
ISBN | 1-4020-7990-7 |
Kapitel | 17 |
Bibtex |
Anzeigen |