A Petri Net Semantics of a Simple Process Algebra for Mobility

Best, 2001, Petri Net Algebra, 10.1007/978-3-662-04457-5 Best, 1998, M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages, Acta Informatica, 35, 813, 10.1007/s002360050144 Bettini, 2003, The KLAIM Project: Theory and Practice, 2874, 88 Bettini, 2005, Mobile Distributed Programming in X-Klaim, 3465, 29 Cardelli, 1998, Mobile Ambients, 1378, 140 Christensen, 1993, Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs, 691, 186 De Nicola, 1998, Klaim: a Kernel Language for Agents Interaction and Mobility, IEEE Transactions on Software Engineering, 24, 315, 10.1109/32.685256 R. De Nicola, D. Latella and M. Massink: Formal modeling and quantitive analysis of KLAIM-based mobile systems.. Proc. of Applied Computing, Association for Computing Machinery (2005) 428–435 Devillers, 2004, Petri Net Semantics of the Finite π-Calculus, 3235, 309 Devillers, 2003, Asynchronous Box Calculus, Fundamenta Informaticae, 54, 295 Gelernter, 1985, Generative Communication in Linda, ACM Computing Surveys, 7, 80