Maximality preserving bisimulation

Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement

ACM Transactions on Computational Logic (TOCL)

New Bisimulation Semantics for Distributed Systems

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Aggregation of transitions in marking graph generation based on maximality semantics for petri nets

VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems