Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
ISSN: 1571-0661
Année de publication: 2006
Volumen: 150
Número: 1
Pages: 103-126
Type: Communication dans un congrès
ISSN: 1571-0661
Année de publication: 2006
Volumen: 150
Número: 1
Pages: 103-126
Type: Communication dans un congrès