Formal Specification of a Web Services Protocol
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004