|
331
|
Process algebra for synchronous communication
– J. A. Bergstra, J. W. Klop
- 1984
|
|
77
|
The syntax and semantics of µCRL
– J F Groote, A Ponse
- 1995
|
|
12
|
Parameterised Boolean Equation Systems
– Jan Friso Groote, Tim Willemse
- 2004
|
|
55
|
Algebraic Process Verification
– J. F. Groote, M. A. Reniers
|
|
3
|
Time abstraction in timed µCRL a la regions
– J F Groote, M A Reniers, Y S Usenko
|
|
1659
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
44
|
CADP 2006: A toolbox for the construction and analysis of distributed processes
– H Garavel, F Lang, R Mateescu, W Serwe
- 2007
|
|
223
|
Branching Time and Abstraction in Bisimulation Semantics
– Rob J. Van Glabbeek, W. Peter Weijland
- 1996
|
|
144
|
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
– Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
- 1996
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
3
|
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools
– F Arbab, C Koehler, Z Maraikar, Y J Moon, J Proenca
- 2008
|
|
2
|
A uniform framework for modeling and verifying components and connectors
– C Baier, T Blechmann, J Klein, S Klüppelholz
|
|
2
|
Modeling and analysis of Reo connectors using Alloy
– R Khosravi, M Sirjani, N Asoudeh, S Sahebi, H Iravanchi
- 2008
|
|
110
|
A Channel-Based Coordination Model for Component Composition
– F. Arbab, Farhad Arbab
- 2002
|
|
46
|
Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract)
– Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani
- 2004
|
|
25
|
Linearization in µCRL
– Y S Usenko
- 2002
|
|
99
|
The IWIM Model for Coordination of Concurrent Activities
– Farhad Arbab
- 1996
|
|
11
|
Process Algebra: Equational Theories of Communicating Processes, volume 50 of Cambridge Tracts in Theoretical Computer Science
– J C M Baeten, T Basten, M A Reniers
- 2009
|
|
3
|
R.: Formal verification of fault tolerance aspects
– D Larsson, Alexandersson
- 2005
|
