Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
ISSN: 1571-0661
Any de publicació: 2006
Volum: 150
Número: 1
Pàgines: 103-126
Tipus: Aportació congrés
ISSN: 1571-0661
Any de publicació: 2006
Volum: 150
Número: 1
Pàgines: 103-126
Tipus: Aportació congrés