Branching vs. Linear Time: Semantical Perspective
Moshe Y. Vardi · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011
The discussion of the relative merits of linear- versus branching-time frameworks goes back to the early 1980s. We revisit here this issue from a fresh perspective and postulate three principles that we view as fundamental to any discussion of process equivalence. We show that our principles yield a unique notion of process equivalence, which is trace based, rather than tree based.