A Balancing Act: Analyzing a Distributed Lift System (2001)

Cached

Download Links

by Jan Friso Groote , Jun Pang , Arno Wouters
Venue:IN S. GNESI AND U. ULTES-NITSCHE, EDS, PROCEEDINGS 6TH WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS'2001
Citations:8 - 3 self

Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
583 The Theory and Practice of Concurrency – A W Roscoe - 1997
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
35 µCRL: A toolset for analysing algebraic specifications – Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol - 2001
4 Postfach 30 – Robert Bosch Gmbh - 1991
22 Visualizing the structure of the World Wide Web – Tamara Munzner, Paul Burchard - 1995
120 Finite transition systems – A Arnold - 1994
38 J.: ‘Cone Trees: Animated 3D – G Robertson, S Card, Mackinlay - 1991
2133 R.: Algorithms for clustering data – A Jain, Dubes - 1988
344 Methods for visual understanding of hierarchical system structures – K Sugiyama, S Tagawa, M Toda - 1981
6 for the µCRL toolset – A G Wouters, Manual - 2001
2 Efficient on-the-fly model-cheching for regular alternation-free mu-calculus, in: I – R Mateescu, M Sighireanu - 2000
87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
77 CADP - A Protocol Validation and Verification Toolbox – Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu - 1996
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
17 Computer Assisted Manipulation of Algebraic Process Specifications – J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser - 2001
8 de Pol. CRL: a toolset for analysing algebraic specifications – S C C Blom, W J Fokkink, J F Groote, I A van Langevelde, B Lisser, J C van - 2001
3 Manual for the _CRL toolset (version 2.8.2 – A G Wouters - 2001
97 The syntax and semantics of CRL – J F Groote, A Ponse - 1994