Extended transition systems for parametric bisimulation [chapter]

Paula Inverardi, Corrado Priami, Daniel Yankelevich
1993 Lecture Notes in Computer Science  
doi:10.1007/3-540-56939-1_102 fatcat:em36idztibgxznn7rwxuacihse