|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
|
95
|
The concurrency workbench: A semantics based tool for the verification of concurrent systems
– Rance Cleaveland, Joachim Parrow, Bernhard Steffen
- 1991
|
|
48
|
Fair testing
– Arend Rensink, Walter Vogler
- 1995
|
|
51
|
Weak Bisimulation for Fully Probabilistic Processes
– Christel Baier, Holger Hermanns
- 1999
|
|
4
|
On Automatically Explaining Bisimulation Inequivalence
– Rance Cleaveland
- 1990
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
24
|
Undecidable Equivalences for Basic Parallel Processes
– Hans Hüttel
- 1993
|
|
77
|
The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes
– R.J. van Glabbeek
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
34
|
VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems
– Duncan Clarke, Insup Lee, Hong-liang Xie
- 1995
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
|
21
|
Deciding Bisimilarity and Similarity for Probabilistic Processes
– Christel Baier, Bettina Engelen, Mila Majster-Cederbaum
- 2000
|
|
13
|
Controlling State Explosion in Reachability Analysis
– Wei Jen Yeh
- 1993
|
|
15
|
Precongruence Formats for Decorated Trace Semantics
– Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
|
|
7
|
Branching vs. linear time – semantical perspective
– Sumit Nain, Moshe Y. Vardi
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
11
|
A semantics-based verification tool for finite-state systems
– Rance Cleaveland, Joachim Parrow, Bernhard Steffen
- 1990
|
|
2
|
Merging Behavior Specifications
– Ferhat Khendek, Gregor V. Bochmann
- 1995
|
|
11
|
An Algebraic Theory of Process Efficiency
– V. Natarajan, Rance Cleaveland
- 1996
|
