Towards a Theory of Bisimulation for Local Names (1999)


Download Links

by Alan Jeffrey , Julian Rathke
Venue:In 14th Annual Symposium on Logic in Computer Science
Citations:23 - 1 self

Active Bibliography

1 Towards a Semantic-Based Verification Environment for the pi-calculus – Gianluigi Ferrari, Gianfranco Modoni, Paola Quaglia - 1995
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003