Towards a Theory of Bisimulation for Local Names (1999)

Cached

Download Links

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

Documents Related by Co-Citation

792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
662 Concurrency and automata on infinite sequences – D Park - 1981
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
1351 A calculus of communicating systems – R Milner - 1980
118 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
239 The Lazy Lambda Calculus – Samson Abramsky - 1990