Modeling web interactions

DOI10.1007/3-540-36575-3_17MaRDI QIDQ4417897zbMATH OpenFDO

Authors Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180238.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Modeling web interactions and errors
• Model checking the World Wide Web
• A type system for dynamic web documents
• Modeling and model checking web services
• scientific article; zbMATH DE number 2065275

Cited in

(8)

• A static simulation of dynamic delimited control
• Modelling dynamic web data
• Steps towards C+C: A language for interactions
• Web Cube
• User action recovery in internet SAGAs (iSAGAs)
• Modeling web interactions and errors
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Specification and verification of data-driven Web applications

This page was built for publication: Modeling web interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417897)