Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Advanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services
SFM, 2009.

@proceedings{SFM-2009,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-642-01918-0",
	editor        = "Marco Bernardo and Luca Padovani and Gianluigi Zavattaro",
	isbn          = "978-3-642-01917-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services}",
	volume        = 5569,
	year          = 2009,
}

Event page: http://www.sti.uniurb.it/events/sfm09ws/

Contents (8 items)

4 ×#web
4 ×#web service
2 ×#analysis
2 ×#composition
2 ×#contract
2 ×#interactive

SFM-2009-Bruni #calculus

Calculi for Service-Oriented Computing (RB), pp. 1–41.

SFM-2009-AalstMSW #analysis #formal method #interactive

Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.

SFM-2009-MarconiP #composition #synthesis #web #web service

Synthesis and Composition of Web Services (AM, MP), pp. 89–157.

SFM-2009-Vasconcelos

Fundamentals of Session Types (VTV), pp. 158–186.

SFM-2009-CarboneYH #exception #interactive #multi

Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.

SFM-2009-Padovani #adaptation #contract #web #web service

Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.

SFM-2009-BravettiZ #composition #contract #web #web service

Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.

SFM-2009-ClarkGT #analysis #using #web #web service

Quantitative Analysis of Web Services Using SRMC (AC, SG, MT), pp. 296–339.