Process Realizability (2000)

Cached

Download Links

by Samson Abramsky
Venue:In Foundations of Secure Computation
Citations:9 - 1 self

Active Bibliography

649 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
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