Title
Deciding bisimilarity is P-complete
Year
Venue
Field
1992
Formal Aspects of Computing
Discrete mathematics,Formal language,Algorithm complexity,Computer science,Parallel algorithm,Theoretical computer science,Finite-state machine,Equivalence (measure theory),Finite state systems,Bisimulation,Congruence (geometry)
DocType
Volume
Issue
Journal
4
6A
Citations 
PageRank 
References 
45
2.41
7
Authors
3
Name
Order
Citations
PageRank
José L. Balcázar170162.06
Joaquim Gabarró219728.76
Miklós Sántha3967.95