The Formal Specification Language mCRL2 (2007)

Cached

Download Links

by Jan Friso Groote , Aad Mathijssen , Michel Reniers , Yaroslav Usenko , Muck Van Weerdenburg
Venue:In Proceedings of the Dagstuhl Seminar
Citations:29 - 8 self

Documents Related by Co-Citation

360 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
14 Parameterised Boolean Equation Systems – Jan Friso Groote, Tim Willemse - 2004
4 Y.: Time abstraction in timed µCRL a la regions – J F Groote, M Reniers, Usenko
1964 A theory of timed automata – Rajeev Alur - 1999
4 Modeling and analysis of Reo connectors using Alloy – R Khosravi, M Sirjani, N Asoudeh, S Sahebi, H Iravanchi - 2008
11 Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools. Tool Demo Session at FACS ’08 – F Arbab, C Koehler, Z Maraikar, Y Moon, J Proenca - 2008
144 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
57 Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) – Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani - 2004
6 A Uniform Framework for Modeling and Verifying Components and Connectors – C Baier, T Blechmann, J Klein, S Klüppelholz
65 W.: CADP 2006: A toolbox for the construction and analysis of distributed processes – H Garavel, R Mateescu, F Lang, Serwe - 2007
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
1253 The model checker SPIN – Gerard J. Holzmann - 1997
170 UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems – Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi - 1996
3200 Communication and Concurrency – R Milner - 1989
27 Process Algebra: Equational Theories of Communicating – J Baeten, T Basten, M Reniers - 2009
22 Verification of Temporal Properties of Processes in a Setting with Data – Jan Friso Groote, Radu Mateescu - 1999
29 Linearization in µCRL – Y Usenko - 2002