rance-cleaveland documents

Generic tools for verifying concurrent systems
Documents Generic tools for verifying concurrent systems
Preface: Volume 66, Issue 2
Documents Preface: Volume 66, Issue 2
Tableau-based model checking in the propositional mu-calculus
Documents Tableau-based model checking in the propositional mu-calculus
Testing equivalence as a bisimulation equivalence
Documents Testing equivalence as a bisimulation equivalence
Priorities in process algebras
Documents Priorities in process algebras
Priority and abstraction in process algebra
Documents Priority and abstraction in process algebra