Replicated Ubiquitous Nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3983 LNCS, Issue , 2006, Pages 158-168

  Rosa Velardo, Fernando ^a   De Frutos Escrig, David ^a   Marroquín Alonso, Olga ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; MATHEMATICAL MODELS; MOBILE COMPUTING;

CENTRALIZED SYSTEMS; GARBAGE COLLECTION MECHANISM; REACHABILITY; UBIQUITOUS NETS;

COMPUTER NETWORKS;

EID: 33745893798     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11751632_17     Document Type: Conference Paper

References (13)

1. L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures: First International Conference, FOSSACS'98, volume 1378 of LNCS, pages 140-155. Springer, 1998.
2. K. Cheverst, A. Dix, D. Fitton and M. Rouncefield. 'Out To Lunch': Exploring the Sharing of Personal Context through Office Door Displays. Proceedings of the Australasian Computer-Human Conference-OzCHI 2003, pp.74-83. 2003.
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott. The Maude 2.0 System. In Proc. Rewriting Techniques and Applications, 2003. LNCS vol. 2706, pp. 76-87. Springer-Verlag, 2003.
4. Jörg Desel and Wolfgang Reisig. Place/transition petri nets. Lectures on Petri Nets I: Basic Models, LNCS vol.1491, pp.122-173. Springer-Verlag, 1998.
5. D. Frutos Escrig, O. Marroquín Alonso and F. Rosa Velardo. Ubiquitous Systems and Petri Nets. Ubiquitous Web Systems and Intelligence, LNCS vol.3841. Springer-Verlag, 2005.
6. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
7. R. Milner, J. Parrow and D. Walder. A Calculus of Mobile Processes I. In Information and Computation, vol. 100(1) 1-40. Academic Press Inc., 1992.
8. R. Milner. Theories for the Global Ubiquitous Computer. Foundations of Software Science and Computation Structures-FoSSaCS 2004, LNCS vol.2987, pp.5-11. Springer-Verlag, 2004.
9. C. Reutenauer. The Mathematics of Petri Nets. Masson and Prentice Hall, 1990.
10. F. Rosa Velardo, D. Frutos Escrig, and O. Marroquín Alonso. Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. In 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05. ENTCS (to appear).
11. F. Rosa Velardo, D. Frutos Escrig, and O. Marroquín Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. In 3rd International Workshop on Security Issues in Concurrency, SecCo'05. ENTCS (to appear).
12. R. Want. Enabling Ubiquitous Sensing with RFID. Computer vol.37(4), pp.84-86. IEEE Computer Society Press, 2004.
13. M. Weiser. Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM vol.36(7), pp.74-84. ACM Press, 1993.