Concepedia

Symbolic bisimulations

Matthew Hennessy, Hui Lin

Theoretical Computer Science · 1995 · 315 citations · 5 references

DOI

References

5

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Modal logics for mobile processes

Robin Milner, Joachim Parrow, David Walker · Theoretical Computer Science · 1993 · 205 citations · Full text

, , +7

Local model checking for infinite state spaces

Julian Bradfield, Colin Stirling · Theoretical Computer Science · 1992 · 76 citations · Full text

, , +13

Automated analysis of mutual exclusion algorithms using CCS

D. J. Walker · Formal Aspects of Computing · 1989 · 60 citations

, , +11

Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs

Bengt Jönsson, Joachim Parrow · Information and Computation · 1993 · 57 citations

, , +14