Formal Specification of a Web Services Protocol

As cited in DDIA

James E. Johnson, David E. Langworthy, Leslie Lamport, and Friedrich H. Vogt. "Formal Specification of a Web Services Protocol." At 1st International Workshop on Web Services and Formal Methods (WS-FM), February 2004. doi:10.1016/j.entcs.2004.02.022

How the page describes itself

Formal Specification of a Web Services Protocol - Microsoft Research

Fritz Vogt spent part of a sabbatical at our lab during the summer and fall of 2003. I was interested in getting TLA+ used in the product groups at Microsoft, and Fritz was looking for an interesting project involving distributed protocols. Through his contacts, we got together with Jim Johnson and Dave Langworthy, who work […]

From the page's own metadata at microsoft.com, 2026-08-29.

Link check

Status

Link checked and reachable (HTTP 200)

Format

text/html

Size

0.2 MB

Last checked

2026-08-29

Identifiers and archived copies

DOI

10.1016/j.entcs.2004.02.022