Active Bibliography

Consistent ASM Updates from Atomic Composition ABSTRACT – Colin Gordon, Leo Meyerovich, Joel Weinberger, Shriram Krishnamurthi
408 Evolving Algebras 1993: Lipari Guide – Y Gurevich - 1995
November 2006ASM Relational Transducer Security Policies – Leo A. Meyerovich, Joel H. W. Weinberger, Colin S. Gordon, Shriram Krishnamurthi, Leo Meyerovich, Joel Weinberger, Colin Gordon, Shriram Krishnamurthi
119 DrScheme: A programming environment for Scheme – Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen - 2002
32 Specification and Verification of Data-driven Web Services – Alin Deutsch, Liying Sui, Victor Vianu
39 Specifying and reasoning about dynamic access-control policies – Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi - 2006
82 Links: web programming without tiers – Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop - 2007
76 A Web Odyssey: from Codd to XML – Victor Vianu - 2001
74 Evolving Algebras: An Attempt To Discover Semantics – Yuri Gurevich - 1993