论文信息 - The Mobility Workbench - A Tool for the pi-Calculus

The Mobility Workbench - A Tool for the pi-Calculus

In this paper we describe the first prototype version of the Mobility Workbench (MWB), an automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity s ...

Faron Moller | Björn Victor

[1] Laurent Mounier,et al. "On the Fly" Verification of Behavioural Equivalences and Preorders , 1991, CAV.

[2] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] Robert E. Milne,et al. The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[5] Mads Dam. Model Checking Mobile Processes , 1993, CONCUR.

[6] Matthew Hennessy,et al. Symbolic Bisimulations , 1995, Theor. Comput. Sci..

[7] Davide Sangiorgi,et al. A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[8] Lars-Åke Fredlund,et al. Modelling Dynamic Communication Structures in LOTOS , 1991, FORTE.

[9] de Ng Dick Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem , 1972 .

[10] Joachim Parrow. Interaction Diagrams , 1995, Nord. J. Comput..

[11] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[12] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[13] Joseph Sifakis,et al. Compilation and verification of LOTOS specifications , 1990, PSTV.