Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
The parallel composition of uniform processes with data
Theoretical Computer Science
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Hi-index | 5.23 |