Volume 70,
Number 1,
January 2007
Web Services and Formal Methods
- Mario Bravetti, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on Web Services and Formal Methods.
1-2
Electronic Edition (link) BibTeX
- Mario Bravetti, Gianluigi Zavattaro:
Service oriented computing from a process algebraic perspective.
3-14
Electronic Edition (link) BibTeX
- Reiko Heckel, Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications.
15-33
Electronic Edition (link) BibTeX
- James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt:
Formal specification of a Web services protocol.
34-52
Electronic Edition (link) BibTeX
- Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition.
53-73
Electronic Edition (link) BibTeX
- Mirko Viroli:
A core calculus for correlation in orchestration languages.
74-95
Electronic Edition (link) BibTeX
- Roberto Lucchi, Manuel Mazzara:
A pi-calculus based semantics for WS-BPEL.
96-118
Electronic Edition (link) BibTeX
Volume 70,
Number 2,
February 2007
Algebraic Process Calculi:
The First Twenty Five Years and Beyond
Copyright © Sun May 17 00:10:10 2009
by Michael Ley (ley@uni-trier.de)
