Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
ISSN: 1571-0661
Año de publicación: 2006
Volumen: 150
Número: 1
Páginas: 103-126
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2006
Volumen: 150
Número: 1
Páginas: 103-126
Tipo: Aportación congreso