Jaime Ramos, Amílcar Sernadas. The Situation and State Calculus versus Branching Temporal Logic. In José Luiz Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected Papers. Volume 1589 of Lecture Notes in Computer Science, pages 293-309, Springer, 1998. [doi]
Abstract is missing.