1995
Three logics for branching bisimulation
Publication
Publication
Journal of the Association for Computing Machinery , Volume 42 - Issue 2 p. 458- 487
Additional Metadata | |
---|---|
, , | |
a.c.m | |
Journal of the Association for Computing Machinery | |
de Nicola, R., & Vaandrager, F. (1995). Three logics for branching bisimulation. Journal of the Association for Computing Machinery, 42(2), 458–487. |