Fast decision of strong bisimulation equivalence using partition refinement
Licentiatavhandling, 1989
CCS
coarsest partition
labelled transition system
refinement
partition
bisimulation equivalence
Författare
Sven Westin
Institutionen för informationsbehandling
Ämneskategorier
Datavetenskap (datalogi)
ISBN
91-7032-428-x