Web Services, Formal Methods, and Behavioral Types : 11th 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 /: 11th 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. (2016)

• Record Type: Book
• Further Information: Note: Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.).
• Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias
• Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types
• Contents: Kickstarting 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xvii, 167 pages), illustrations
• Subjects: 004/.36; Computer science; Web services -- Congresses; Formal methods (Computer science) -- Congresses; Formal methods (Computer science); Web services; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Computers -- Hardware -- Network Hardware; Computers -- Hardware -- Handheld Devices; Business & Economics -- Information Management; Software Engineering; Computer programming / software development; Network hardware; Systems analysis & design; Information architecture; Software engineering; Logic design; Computer Communication Networks; Computer system performance; Information Systems; Computers -- Information Technology; Information retrieval; Llibres electrònics; Congressos; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319336121; 3319336126
• Related ISBNs: 9783319336114
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 25, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.