Gianluigi Ferrari, Gianfranco Modoni, Paola Quaglia  Home/Search
Context Related
| brics.dk/~quaglia/Papers/ictcs95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~quaglia/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A prototype version of a semantic-based verification environment for manipulating and analyzing mobile systems specified in the -calculus is presented. In the current version, the -environment provides two main facilities: a -calculus interpreter equipped with a graphical interface, and a verification tool which is used to decide (strong and weak) early and late bisimulation equivalences for finite -calculus processes. The -environment is built on top of existing verification systems, and ... (Update)
Context of citations to this paper: More
.... San96, San92, San95, PS96] rewrite systems [PS95] and model checking [Dam93, AD96] and automated tools for these are emerging [VM94, FMQ95] An example calculus reduction is the following interaction: b(x) P j bhai : Q Gamma Pfa=xg j Q: Here b(x) P is an input...
.... a behavioural equivalence which abstracts away from moves, can be of practical interest in the implementation of automated verification tools [FMQ95a]. 1 The calculus A calculus process is written : P , where is an environment keeping track of the associations among names,...
Cited by: More
Constraints as Processes - Victor, Parrow (1996) (Correct)
The Weak Late pi-calculus Semantics as Observation.. - Ferrari, Montanari, Quaglia (1995) (Correct)
Active bibliography (related documents): More All
0.7: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.5: Behavioural Types for a Calculus of Concurrent Objects - Ant'onio Ravara Vasco (1997) (Correct)
0.4: Unique Fixpoint Induction for Mobile Processes - Lin (1995) (Correct)
Similar documents based on text: More All
0.2: A pi-calculus with Explicit Substitutions: the Late.. - Ferrari, Montanari, Quaglia (1994) (Correct)
0.2: The π-Calculus: Notes on Labelled Semantics - Quaglia (1998) (Correct)
0.1: On The Algebraic Approach To Concurrent Term Rewriting - Gadducci (1996) (Correct)
Related documents from co-citation: More All
2: Calculi for Higher Order Communicating Systems (context) - Thomsen - 1990
2: A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
2: Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1993
BibTeX entry: (Update)
G. Ferrari, G. Modoni and P. Quaglia. Towards a semantic-based verification environment for the pi-calculus. In Proceedings of 5th Italian Conference on Theoretical Computer Science: ICTCS-95. World Scientific, 1995. http://citeseer.ist.psu.edu/249841.html More
@misc{ ferrari95towards,
author = "G. Ferrari and G. Modoni and P. Quaglia",
title = "Towards a semantic-based verification environment for the pi-calculus",
text = "G. Ferrari, G. Modoni and P. Quaglia. Towards a semantic-based verification
environment for the pi-calculus. In Proceedings of 5th Italian Conference
on Theoretical Computer Science: ICTCS-95. World Scientific, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/249841.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
502 Concurrency and automata on infinite sequences (context) - Park - 1981 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
232 The Concurrency Workbench: A Semantics-Based Tool for the Ve.. - Cleaveland, Parrow et al. - 1993 DBLP
216 Theoretical Computer Science (context) - Milner, Parrow et al. - 1993 ACM
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
201 Three Partition Refinement Algorithms (context) - Page, Tarjan - 1987 ACM DBLP
64 Turning SOS Rules into Equations - Aceto, Bloom et al. - 1994 ACM DBLP
49 A Theory of Bisimulation for the -calculus (context) - Sangiorgi - 1993
31 Auto and Autograph (context) - Roy, de Simone - 1990
28 AUTO: A Verification Tool for Distributed Systems Using Redu.. (context) - Madelaine, Vergamini - 1990
27 The Integration Project for the JACK Environment (context) - Bouali, Gnesi et al. - 1994
21 The Mobility Workbench: A Tool for the - calculus (context) - Victor, Moller - 1994
17 Verification of Behavioural Equivalences and Preorders (context) - Fernandez, Mounier et al. - 1991
15 Verification Tools from the CONCUR Project - Madelaine - 1992
12 Evaluation of tools for the analysis of communicating system.. (context) - Inverardi, Priami - 1991 DBLP
10 Complete Inference Systems for Weak Bisimulation Equivalence.. - Lin - 1995
6 calculus with Explicit Substitutions: the Late Semantics - Ferrari, Montanari et al. - 1994
5 Operational Semantics of a Focussing Debugger (context) - Bernstein, Stark - 1995
4 The Weak Late -calculus Semantics as Observation Equivalence (context) - Ferrari, Montanari et al. - 1995
4 Acta Informatica (context) - Thomsen - 1993
3 Technical Report INRIA (context) - Madelaine, De Simone et al. - 1993
3 Checking Bisimilarity for Finitary -calculus (context) - Montanari, Pistore - 1995
3 the Decidability of Process Equivalences for the -calculus (context) - Dam - 1995
2 Weak bisimilarity: congruences and equivalences (context) - Milner - 1990
2 Programming in the -calculus: An Experiment in Concurrent La.. (context) - Pierce - 1994
1 The Polyadic -calculus: a Tutorial Technical Report (context) - Milner - 1991
Documents on the same site (http://www.brics.dk/~quaglia/papers.html): More
A Fully Parallel Calculus of Synchronizing Processes - Latella, Quaglia (1993) (Correct)
The π-Calculus: Notes on Labelled Semantics - Quaglia (1998) (Correct)
On the Finitary Characterization of pi-Congruences - Quaglia (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC