Fast decision of strong bisimulation equivalence using partition refinement
Licentiate thesis, 1989
CCS
coarsest partition
labelled transition system
refinement
partition
bisimulation equivalence
Author
Sven Westin
Department of Computer Sciences
Subject Categories (SSIF 2011)
Computer Science
ISBN
91-7032-428-x