LEADER 03019nam  2200613Ia 450 
001 9910484383303321
005 20200520144314.0
010   $a3-642-01918-8
024 7 $a10.1007/978-3-642-01918-0
035   $a(CKB)1000000000746045
035   $a(SSID)ssj0000317721
035   $a(PQKBManifestationID)11208037
035   $a(PQKBTitleCode)TC0000317721
035   $a(PQKBWorkID)10295533
035   $a(PQKB)10741471
035   $a(DE-He213)978-3-642-01918-0
035   $a(MiAaPQ)EBC3064235
035   $a(PPN)136301169
035   $a(EXLCZ)991000000000746045
100   $a20090713d2009      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for web services $e9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /$fMarco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)
205   $a1st ed. 2009.
210   $aBerlin $cSpringer$dc2009
215   $a1 online resource (VII, 341 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5569
300   $aLectures.
311   $a3-642-01917-X 
320   $aIncludes bibliographical references and index.
327   $aCalculi for Service-Oriented Computing -- Service Interaction: Patterns, Formalization, and Analysis -- Synthesis and Composition of Web Services -- Fundamentals of Session Types -- Asynchronous Session Types: Exceptions and Multiparty Interactions -- Contract-Based Discovery and Adaptation of Web Services -- Contract-Based Discovery and Composition of Web Services -- Quantitative Analysis of Web Services Using SRMC.
330   $aThis book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.
410  0$aLecture notes in computer science ;$v5569.
517 3 $aSFM 2009
606   $aFormal methods (Computer science)$vCongresses
606   $aInternet$vCongresses
615  0$aFormal methods (Computer science)
615  0$aInternet
676   $a004
686   $aSS 4800$2rvk
701   $aBernardo$b Marco$01754236
701   $aPadovani$b Luca$01761756
701   $aZavattaro$b Gianluigi$01754873
712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484383303321
996   $aFormal methods for web services$94201365
997   $aUNINA