Weak Bisimulation Approximants

Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached

• Type: Conference
• Year: 2006
• Where: CSL
• Authors: Will Harwood, Faron Moller, Anton Setzer
• Keywords: Automated Reasoning, Basic Parallel Processes, CSL 2006, Tight Ordinal Bound, Weak Bisimilarity