An efficient algorithm for branching bisimulation and stuttering equivalence

The European telecommunications research and development program RACE and its software project SPECS

IBM Systems Journal

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Three logics for branching bisimulation

Journal of the ACM (JACM)

Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)

Inheritance of workflows: an approach to tackling problems related to change

Theoretical Computer Science

State Space Reduction Using Partial tau-Confluence

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Generating BDDs for symbolic model checking in CCS

Distributed Computing

Branching bisimulation for probabilistic systems: characteristics and decidability

Theoretical Computer Science - Expressiveness in concurrency

Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable

APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems

Deciding life-cycle inheritance on Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Similarity of business process models: Metrics and evaluation

Information Systems