论文信息 - Verifying Mobile Processes in the HAL Environment - 字舞流文

Verifying Mobile Processes in the HAL Environment

Marco Pistore | Gian Luigi Ferrari | Ugo Montanari | Stefania Gnesi | Gioia Ristori | G. Ferrari | U. Montanari | S. Gnesi | M. Pistore | G. Ristori

[1] Ugo Montanari,et al. History-Dependent Automata , 1998 .

[2] Marco Pistore,et al. An Introduction to History Dependent Automata , 1998, HOOTS.

[3] Marco Pistore,et al. An Automated Based Verification Environment for Mobile Processes , 1997, TACAS.

[4] Marco Pistore,et al. Minimal Transition Systems for History-Preserving Bisimulation , 1997, STACS.

[5] Marco Pistore,et al. History dependent verification for partial order systems , 1997, Partial Order Methods in Verification.

[6] Robert de Simone,et al. The FC2TOOLS Set , 1996, AMAST.

[7] Marco Pistore,et al. Efficient Minimization up to Location Equivalence , 1996, ESOP.

[8] Marco Pistore,et al. Checking Bisimilarity for Finitary pi-Calculus , 1995, CONCUR.

[9] Stefania Gnesi,et al. The Integration Project for the JACK Environement , 1994 .

[10] Faron Moller,et al. The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.

[11] Mads Dam,et al. Model Checking Mobile Processes , 1993, Inf. Comput..

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