TY  - JOUR
AU  - Rosa Velardo, Fernando
AU  - Marroquín Alonso, Olga
AU  - Frutos Escrig, David De
PY  - 2006
DO  - 10.1016/j.entcs.2005.12.026
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/52853
T2  - Electronic Notes in Theoretical Computer Science
AB  - The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser’s vision, ubiquitous computing still has a long way ahead to become a pervasive reality. One of the reasons for this may...
LA  - eng
PB  - Elsevier
KW  - Mobility
KW  - Petri nets
KW  - Security
KW  - Specifications
KW  - Ubiquitous Computing
TI  - Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
TY  - journal article
ER  -