Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
ISSN: 1571-0661
Datum der Publikation: 2006
Ausgabe: 150
Nummer: 1
Seiten: 103-126
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 2006
Ausgabe: 150
Nummer: 1
Seiten: 103-126
Art: Konferenz-Beitrag