Algebraic Process Verification (0)

by J. F. Groote , M. A. Reniers
Venue:Handbook of Process Algebra, chapter 17
Citations:64 - 16 self

Active Bibliography

11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1273 The model checker SPIN – Gerard J. Holzmann - 1997
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
568 Term Rewriting Systems – J. W. Klop - 1992
639 A Survey of Program Slicing Techniques – F. Tip - 1995
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987