Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures

DOI10.1007/978-3-642-01918-0zbMath1162.68303OpenAlexW161171551MaRDI QIDQ1019128

No author found.

Publication date: 28 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01918-0

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (6)

Relating two automata-based models of orchestration and choreography ⋮ Multiparty testing preorders ⋮ Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Service net algebra based on logic Petri nets ⋮ Mixed sessions

This page was built for publication: Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures