Three Logics for Branching Bisimulation (Extended Abstract)

Rocco De Nicola, Frits W. Vaandrager. Three Logics for Branching Bisimulation (Extended Abstract). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 118-129, IEEE Computer Society, 1990.

Abstract

Abstract is missing.