2026-07-23T21:02:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3217 2024-03-06T10:33:57Z ddc:004 open_access

Branching vs. Linear Time: Semantical Perspective Vardi, Moshe Y. linear time branching time process equivalence contextual equivalence 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Moshe Y. Vardi 2011 Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2011.3 urn:nbn:de:0030-drops-32173 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.3 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode