A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics

Marco Fischer | André Windisch | Stefan Förster | Dieter Monjau | Burkhard Balser

---

September 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 @InProceedings{MaFiAnWiStFÃDiMoBuBa03,      address      = {Frankfurt a. M., Germany},      author       = {Marco Fischer, André Windisch, Stefan Förster, Dieter Monjau, Burkhard Balser},      title        = {A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics},      note         = {ISSN: 1636-9874},      pages        = {447--455},      month        = {September},      year         = {2003},      booktitle    = {Proceedings of Forum on Specification and Design Languages (FDL'03)}, }