David Jakobsen, Peter Øhrstrøm. The Interpretation of Branching Time Diagrams. In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron-Zucker, editors, Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings. Volume 9717 of Lecture Notes in Computer Science, pages 31-39, Springer, 2016. [doi]
Abstract is missing.