Web Services, Formal Methods, and Behavioral Types [electronic resource] : 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 / Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.).
WS-FM (Workshop) (11th : 2014 : Eindhoven, Netherlands); Hildebrandt, Thomas, editor.; Ravara, António, editor.; Werf, Jan Martijn van der, editor.; Weidlich, Matthias, editor.; International Symposium on Web Services, Formal Methods and Behavioural Types : (2015 : Madrid, Spain)
2016
TK5105.88813
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Web Services, Formal Methods, and Behavioral Types [electronic resource] : 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 / Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.).
Meeting Name WS-FM (Workshop) (11th : 2014 : Eindhoven, Netherlands)
ISBN 9783319336121 (electronic book)
3319336126 (electronic book)
9783319336114
DOI https://doi.org/10.1007/978-3-319-33612-1
Published Switzerland : Springer, 2016.
Language English
Description 1 online resource (xvii, 167 pages) : illustrations.
Item Number 10.1007/978-3-319-33612-1 doi
Call Number TK5105.88813
Dewey Decimal Classification 004/.36
Summary This 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. .
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 25, 2016).
Added Author Hildebrandt, Thomas, editor.
Ravara, António, editor.
Werf, Jan Martijn van der, editor.
Weidlich, Matthias, editor.
Added Meeting Name International Symposium on Web Services, Formal Methods and Behavioural Types : (2015 : Madrid, Spain)
Series Lecture notes in computer science ; 9421.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export