000754904 000__ 03785cam\a2200529Ii\4500
000754904 001__ 754904
000754904 005__ 20230306141733.0
000754904 006__ m\\\\\o\\d\\\\\\\\
000754904 007__ cr\cn\nnnunnun
000754904 008__ 160425s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000754904 020__ $$a9783319336121$$q(electronic book)
000754904 020__ $$a3319336126$$q(electronic book)
000754904 020__ $$z9783319336114
000754904 0247_ $$a10.1007/978-3-319-33612-1$$2doi
000754904 035__ $$aSP(OCoLC)ocn947643056
000754904 035__ $$aSP(OCoLC)947643056
000754904 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dUPM$$dOCLCF$$dOCLCO
000754904 049__ $$aISEA
000754904 050_4 $$aTK5105.88813
000754904 08204 $$a004/.36$$223
000754904 1112_ $$aWS-FM (Workshop)$$n(11th :$$d2014 :$$cEindhoven, Netherlands)
000754904 24510 $$aWeb Services, Formal Methods, and Behavioral Types$$h[electronic resource] :$$b11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /$$cThomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.).
000754904 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000754904 300__ $$a1 online resource (xvii, 167 pages) :$$billustrations.
000754904 336__ $$atext$$btxt$$2rdacontent
000754904 337__ $$acomputer$$bc$$2rdamedia
000754904 338__ $$aonline resource$$bcr$$2rdacarrier
000754904 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9421
000754904 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000754904 504__ $$aIncludes bibliographical references and author index.
000754904 5050_ $$aKickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants.
000754904 506__ $$aAccess limited to authorized users.
000754904 520__ $$aThis volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. .
000754904 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 25, 2016).
000754904 650_0 $$aWeb services$$vCongresses.
000754904 650_0 $$aFormal methods (Computer science)$$vCongresses.
000754904 7001_ $$aHildebrandt, Thomas,$$eeditor.
000754904 7001_ $$aRavara, António,$$eeditor.
000754904 7001_ $$aWerf, Jan Martijn van der,$$eeditor.
000754904 7001_ $$aWeidlich, Matthias,$$eeditor.
000754904 7112_ $$aInternational Symposium on Web Services, Formal Methods and Behavioural Types :$$d(2015 :$$cMadrid, Spain)
000754904 830_0 $$aLecture notes in computer science ;$$v9421.
000754904 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000754904 852__ $$bebk
000754904 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-33612-1$$zOnline Access$$91397441.1
000754904 909CO $$ooai:library.usi.edu:754904$$pGLOBAL_SET
000754904 980__ $$aEBOOK
000754904 980__ $$aBIB
000754904 982__ $$aEbook
000754904 983__ $$aOnline
000754904 994__ $$a92$$bISE