The discussion of the relative merits of linear- versus#R##N#branching-time frameworks goes back to the early 1980s.  #R##N#We revisit here this issue from a fresh perspective and postulate three#R##N#principles that we view as fundamental to any discussion of process#R##N#equivalence. We show that our principles yield a unique notion of #R##N#process equivalence, which is trace based, rather than tree based.
['Moshe Y. Vardi']
Branching vs. Linear Time: Semantical Perspective