Amar Bouali, Stefania Gnesi, Salvatore Larosa  Home/Search
Context Related
| cwi.nl/ftp/CWIreports/A...CSR9443.ps.Z 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: cwi.nl/cwi/publications...CS1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: JACK, standing for Just Another Concurrency Kit, is a new environment integrating a set of verification tools, supported by a graphical interface offering facilities to use these tools separately or in combination. The environment proposes several functionalities for the design, analysis and verification of concurrent systems specified using process algebra. Tools exchange information through a text format called Fc2. Users are able to graphically layout their specifications, that will be... (Update)
Context of citations to this paper: More
.... other similar tools (like the Mobility Workbench [14] which is probably the closest to ours, Cesar Aldebaran [4] the Jack Toolkit [2], or the FC2tools package [1] However, the possibility to reason on in nite states processes using the up to techniques is speci c to our...
Cited by: More
Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (Correct)
Active bibliography (related documents): More All
0.5: Equivalence Semantics for Concurrency: Comparison and Application - Galpin (1998) (Correct)
0.5: Symbolic Bisimulation Minimisation - Bouali, de Simone (Correct)
0.5: Process Grammar Processor: An Architecture for a Parallel Parser - Marino (1992) (Correct)
Similar documents based on text: More All
0.4: A Formal Verification Environment for Railway Signaling .. - Bernardeschi.. (1998) (Correct)
0.3: Towards Model Checking a Spi-Calculus Dialect - Gnesi, Latella, Lenzini (2002) (Correct)
0.2: An Experience in Formal Verification of Safety Properties.. - Anselmi Bernardeschi (1995) (Correct)
Related documents from co-citation: More All
2: demo presentation at TACAS (context) - Bouali, Ressouche et al. - 1996
2: Bisimilarity of open terms - Rensink - 1997
2: Higher-level synchronising devices in MEIJE-SCCS (context) - de Simone - 1985
BibTeX entry: (Update)
A.Bouali, S.Larosa, and S.Gnesi. The integration project in the JACK Environement. EATCS Bulletin, (54), 1994. 14 http://citeseer.ist.psu.edu/bouali94integration.html More
@incollection{ bouali94integration,
author = "Amar Bouali and Stefania Gnesi and Salvatore Larosa",
title = "The Integration Project for the {JACK} Environment.",
booktitle = "312",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "28",
year = "1994",
url = "citeseer.ist.psu.edu/bouali94integration.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
725 Temporal and modal logic (context) - Emerson - 1990
502 Concurrency and automata on infinite sequences (context) - Park - 1981
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
201 Three partition refinement algorithms (context) - Paige, Tarjan - 1987
190 Results on the propositional --calculus (context) - Kozen - 1983
78 Branching time and abstraction in bisimulation semantics (context) - Van Glabbeek, Weijland - 1984
73 The concurrency workbench (context) - Cleaveland, Parrow et al. - 1989
63 The temporal logic of branching time (context) - Ben-Ari, Pnueli et al. - 1983
51 Fast algorithms for solving path problems (context) - Tarjan - 1981
45 A non-interleaving semantics for CCS based on proved transit.. (context) - Boudol, Castellani - 1988
42 Compilation and verification of LOTOS specifications - Garavel, Sifakis - 1990
39 A unified approach to path problems (context) - Tarjan - 1981
30 Action versus state based logics for transition systems (context) - De Nicola, Vaandrager - 1990
28 ebre de processus et synchronisation (context) - Austry, Boudol - 1984
28 Notes on algebraic calculi of processes (context) - Boudol - 1985
28 AUTO: A verification tool for distributed systems using redu.. (context) - Madelaine, Vergamini - 1990
24 Symbolic bisimulation minimisation - Bouali, de Simone - 1992
20 The synchronous programming language ESTEREL and its mathema.. (context) - Berry, Cosserat - 1984
18 Finiteness conditions and structural construction of automat.. - Madelaine, Vergamini - 1990
14 Assisting requirement formalization by means of natural lang.. - Fantechi, Gnesi et al. - 1994
13 Tav user manual (context) - Godskesen, Larsen et al. - 1989
9 Squiggles: a tool for the analysis of LOTOS specifications (context) - Bolognesi, Caneve - 1989
6 Automatizing parametric reasoning on distributed concurrent .. (context) - Inverardi, Priami et al. - 1993
4 Using axiomatic presentation of behavioural equivalences for.. (context) - De Nicola, Inverardi et al. - 1990
3 Extended transition systems for parametric bisimulation (context) - Inverardi, Priami et al. - 1993
3 The FC2 Reference Manual (context) - Madelaine, De Simone - 1993
2 A framework for the development of natural language grammars (context) - Marino - 1989
2 Weak and branching bisimulation in fctool (context) - Bouali - 1991
1 Equational reasoning about LOTOS specifications: A rewriting.. (context) - De Nicola, Inverardi et al. - 1991
1 References 27 14th ICSE (context) - Fernandez, Garavel et al. - 1992
1 Verifing concurrent systems in SML (context) - Inverardi, Priami et al. - 1992
1 INRIA Sophia Antipolis (context) - de Simone, Vergamini et al. - 1989
1 The JACK verification environment -- internal note (context) - De Nicola, Fantechi et al. - 1993
1 Rapports Techniques (context) - Roy, de Simone et al. - 1989
Documents on the same site (http://ftp.cwi.nl/cwi/publications/reports/CS-1994.html): More
A Logic for Variable Aliasing in Logic Programs - Marchiori (1994) (Correct)
Uniform Deterministic Self-Stabilizing Ring-Orientation on.. - Hoepman (1994) (Correct)
Proof-Checking a Data Link Protocol - Helmink, Sellink, Vaandrager (1994) (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