scientific article; zbMATH DE number 1956557

MaRDI QIDQ4417897zbMATH OpenFDO

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

Publication date 30 July 2003

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
• scientific article; zbMATH DE number 1798186
• 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
• scientific article; zbMATH DE number 1670572 (Why is no real title available?)
• Web Cube
• scientific article; zbMATH DE number 2036321 (Why is no real title available?)
• 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:

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