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

17 Analysis of a distributed system for lifting trucks – J.F. Groote, J.Pang , A.G. Wouters - 2003
7 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
30 µ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
2 A Correctness Proof of the Bakery Protocol in µCRL – Jan Friso Groote, Henri Korver - 1994
5 Grid Protocols based on Synchronous Communication: Specification and Correctness – Jan Bergstra, Joris Hillebrand, Alban Ponse
29 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
4 A modal logic for CRL – J. F. Groote - 1994
17 A Bounded Retransmission Protocol for Large Data Packets. A Case Study in Computer Checked Algebraic Verification – Jan Friso Groote, Jaco van de Pol - 1993
5 Algebraic Verification of a Distributed Summation Algorithm – Jan Friso Groote, Jan Springintveld - 1996
11 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
34 Focus points and convergent process operators: A proof strategy for protocol veri cation – Jan Friso Groote - 1995
4 Unique Fixpoint Induction for Message-Passing Process Calculi – M. Hennessy, H. Lin - 1997
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
4 Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks – Sadie Creese - 2001
9 Model checking a cache coherence protocol for a Java DSM implementation – Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema - 2003