Concurrency theory calculi and automata for modelling untimed and timed concurrent systems

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London Springer 2006
Schlagworte:	Mathematisches Modell Nebenläufigkeit
Online-Zugang:	BTU01 FHM01 UBG01 UBR01 UBY01 UPA01 Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Concurrency theory calculi and automata for modelling untimed and timed concurrent systems von Bowman, Howard, Gomez, Rodolfo

Veröffentlicht 2006

Buch