Branching time and orthogonal bisimulation equivalence
Bergstra, Jan A., Ponse, Alban, van der Zwaag, Mark B.
Published in Theoretical computer science (02.12.2003)
Published in Theoretical computer science (02.12.2003)
Get full text
Journal Article