Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Mario Bravetti. Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. Electronic Notes in Theoretical Computer Science, 209:83-106, 2008. [doi]

Abstract

Abstract is missing.