Replicated Ubiquitous Nets - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Fernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso. Replicated Ubiquitous Nets. In Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Chih Jeng Kenneth Tan, David Taniar, Antonio Laganà, Youngsong Mun, Hyunseung Choo, editors, Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV. Volume 3983 of Lecture Notes in Computer Science, pages 158-168, Springer, 2006. [doi]

The following publications are possibly variants of this publication:

Replicated Ambient Petri NetsDavid de Frutos-Escrig, Olga Marroquín Alonso. iccS 2003: 774-783 [doi]

Ubiquitous Systems and Petri NetsDavid de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa Velardo. iccsa 2005: 1156-1166 [doi]

Decidability Problems in Petri Nets with Names and ReplicationFernando Rosa Velardo, David de Frutos-Escrig. FUIN, 105(3):291-317, 2010. [doi]

Decidability Results for Restricted Models of Petri Nets with Name Creation and ReplicationFernando Rosa Velardo, David de Frutos-Escrig. apn 2009: 63-82 [doi]

Petri Nets for the Verification of Ubiquitous Systems with Transient Secure AssociationFernando Rosa Velardo. uic 2007: 1148-1158 [doi]

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous SystemsFernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos-Escrig. ENTCS, 150(1):103-126, 2006. [doi]

runs on WebDSL