Partial bisimulation

Report

Baeten, J.C.M., Beek, van, D.A., Luttik, S.P., Markovski, J. & Rooda, J.E. (2010). Partial bisimulation. (SE report, No. 2010-04). Eindhoven: Technische Universiteit Eindhoven, 26 pp.

Read more: Medialink/Full text

Abstract