On Specification and Verification of Location-Based Fault Tolerant Mobile Systems
暂无分享,去创建一个
Maciej Koutny | Alexander Romanovsky | Alexei Iliasov | Victor Khomenko | V. Khomenko | M. Koutny | A. Iliasov | A. Romanovsky
[1] Maciej Koutny,et al. Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.
[2] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[3] Emilio Tuosto,et al. The Klaim Project: Theory and Practice , 2003, Global Computing.
[4] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[5] Alexander Romanovsky,et al. CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents , 2005 .
[6] Maciej Koutny,et al. Canonical prefixes of Petri net unfoldings , 2002, Acta Informatica.
[7] David Gelernter,et al. Generative communication in Linda , 1985, TOPL.
[8] Ciarán Bryce,et al. Lana: An Approach to Programming Autonomous Systems , 2002, ECOOP.
[9] Maciej Koutny,et al. A Petri Net Semantics of a Simple Process Algebra for Mobility , 2005, EXPRESS.
[10] Victor Khomenko,et al. Model checking based on prefixes of petri net unfoldings , 2003 .
[11] Diego Latella,et al. Formal modeling and quantitative analysis of KLAIM-based mobile systems , 2005, SAC '05.
[12] Rocco De Nicola,et al. KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..
[13] Boris Magnusson,et al. ECOOP 2002 — Object-Oriented Programming , 2002, Lecture Notes in Computer Science.
[14] Alexander Romanovsky,et al. Exception handling in coordination-based mobile environments , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).
[15] Maciej Koutny,et al. Petri Net Semantics of the Finite pi-calculus Terms , 2004, Fundam. Informaticae.
[16] Budi Arief,et al. On using the CAMA framework for developing open mobile fault tolerant agent systems , 2006, SELMAS '06.
[17] Amy L. Murphy,et al. LIME: Linda meets mobility , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).