Modeling Web Interactions (2003)

View PDF

Download Links

by Paul Graunke , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen
Citations:35 - 4 self

Documents Related by Co-Citation

81 The Influence of Browsers on Evaluators or, Continuations to Program Web Servers – Christian Queinnec - 2000
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
1177 Temporal and modal logic – E. Allen Emerson - 1995
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
1064 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003