The Chemical Abstract Machine (1998)

Cached

Download Links

by Gérard Berry , Gérard Boudol
Citations:494 - 5 self

Active Bibliography

1030 Generative communication in Linda – David Gelernter - 1985
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000