by van Glabbeek, R.J., Plotkin, G.D.
Published in Theoretical computer science (15.09.2009)

by van Glabbeek, R.J.
Published in Theoretical computer science (20.06.2011)

by van Glabbeek, R.J.
Published in Theoretical computer science (05.12.2006)

by van Glabbeek, R.J.
Published in Theoretical computer science (30.05.2006)

by van Glabbeek, R.J.
Published in Theoretical computer science (15.05.1997)

by van Glabbeek, R.J
Published in The journal of logic and algebraic programming (01.07.2004)

by van Glabbeek, R.J.
Published in Electronic notes in theoretical computer science (14.04.2005)

by Van Glabbeek, R.J., Plotkin, G.D.
Published in Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science (1995)