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

Marco Fischer | Stefan Förster | André Windisch

---

2004

Typ	InCollection
Quelle	Languages for System Specification S. 271 - 283
Verlag	Kluwer Academic Publishers
ISBN	1-4020-7990-7
Kapitel	17
Bibtex	Anzeigen @InCollection{MaFiStFÃAnWi04,      author       = {Marco Fischer, Stefan Förster, André Windisch},      title        = {A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics},      chapter      = {17},      publisher    = {Kluwer Academic Publishers},      pages        = {271--283},      year         = {2004},      isbn         = {1-4020-7990-7},      booktitle    = {Languages for System Specification}, }