A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
Marco Fischer | André Windisch | Stefan Förster | Dieter Monjau | Burkhard BalserSeptember 2003
Typ | InProceedings |
Quelle | Proceedings of Forum on Specification and Design Languages (FDL'03) S. 447 - 455 |
Adresse | Frankfurt a. M., Germany |
Zusatz | ISSN: 1636-9874 |
Bibtex |
Anzeigen |