Formal specification of a web services protocol

DOI10.1016/J.JLAP.2006.05.004zbMath1178.68062OpenAlexW2055186889MaRDI QIDQ861299

Leslie Lamport, James E. Johnson, David E. Langworthy, Friedrich H. Vogt

Publication date: 9 January 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11420/4621

zbMATH Keywords

verificationspecificationTLAstandards

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Abstract data types; algebraic specification (68Q65) Network protocols (68M12) Internet topics (68M11)

Uses Software

• TulaFale
• AsmL

Cites Work

• Formal Methods for Components and Objects
• Formal Methods for Components and Objects
• Unnamed Item

This page was built for publication: Formal specification of a web services protocol