Localities and Failures (1995)

Cached

Download Links

by Roberto M. Amadio , Sanjiva Prasad
Venue:In Proc. 14th Foundations of Software Technology and Theoretical Computer Science
Citations:59 - 0 self

Active Bibliography

1 Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with process algebra – Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
From a Concurrent lambda-calculus to the pi-calculus – Roberto M. Amadio, Lone Leth, Bent Thomsen
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
959 Generative communication in Linda – David Gelernter - 1985
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999