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

Active Bibliography

18 Analysis of a distributed system for lifting trucks – J.F. Groote, J.Pang , A.G. Wouters - 2003
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
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
2 Model Checking for Interlocking Safety – Andrew Simpson - 1998
A modal logic for µCRL – J. F. Groote, S. F. M. van Vlijmen - 1994
2 A formal axiomatization for alphabet reasoning with parametrized processes Henri Korver Alex Sellink – Alex Sellink, Alex Sellink, Henri Korver, M. P. A. Sellink, Henri Korver, Henri Korver, Henri Korver - 1997
5 Grid Protocols based on Synchronous Communication: Specification and Correctness – Jan Bergstra, Joris Hillebrand, Alban Ponse
4 A modal logic for CRL – J. F. Groote - 1994
5 Algebraic Verification of a Distributed Summation Algorithm – Jan Friso Groote, Jan Springintveld - 1996
4 A Correctness Proof of the Bakery Protocol in µCRL – Jan Friso Groote, Henri Korver - 1994
20 A Bounded Retransmission Protocol for Large Data Packets. A Case Study in Computer Checked Algebraic Verification – Jan Friso Groote, Jaco Van De Pol
5 Unique Fixpoint Induction for Message-Passing Process Calculi – M. Hennessy, H. Lin - 1997
39 Focus points and convergent process operators: A proof strategy for protocol veri cation – Jan Friso Groote - 1995
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
The Book Review Column – William Gasarch Department, William Gasarch
Under consideration for publication in Math. Struct. in Comp. Science Relations among Quantum Processes: – Marie Lalire - 2005
1 TAPAs: a Tool for the Analysis of Process Algebras – Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi