Coinductive Interpreters for Process Calculi (2002)

Cached

Download Links

by Barbosa And Oliveira , L. S. Barbosa , J. N. Oliveira
Venue:In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS
Citations:4 - 2 self

Active Bibliography

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
635 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
A Perspective on Component Refinement – Luís S. Barbosa