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:30 - 8 self

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
65 W.: CADP 2006: A toolbox for the construction and analysis of distributed processes – H Garavel, R Mateescu, F Lang, Serwe - 2007
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
4 Y.: Time abstraction in timed µCRL a la regions – J F Groote, M Reniers, Usenko
145 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
4 An abstract interpretation toolkit for µCRL – Valero Espada, M van de Pol, J - 2007
3219 Communication and Concurrency – R Milner - 1990
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
14 Parameterised Boolean Equation Systems – Jan Friso Groote, Tim Willemse - 2004
41 Termination, deadlock, and divergence – L. Aceto, M. Hennessy
6 A uniform framework for modeling and verifying components and connectors – C Baier, T Blechmann, J Klein, S Klüppelholz
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
58 Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) – Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani - 2004
29 Linearization in µCRL – Y Usenko - 2002
1080 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001