Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
ISSN: 1571-0661
Ano de publicación: 2006
Volume: 150
Número: 1
Páxinas: 103-126
Tipo: Achega congreso
ISSN: 1571-0661
Ano de publicación: 2006
Volume: 150
Número: 1
Páxinas: 103-126
Tipo: Achega congreso