Web Services, Formal Methods, and Behavioral Types

By: and and and

Sign Up Now! Already a Member? Log In
You must be logged into Bookshare to access this title. Learn about membership options, or view our freely available titles.

Synopsis
This volumecontains the refereed joint proceedings of two initiatives that have beendevoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 andWS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: FormalAspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place inEindhoven, The Netherlands, in September 2014. The 12th International Workshopon Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took placein Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed andselected from 18 submissions. They were organized in topical sections named:expressiveness of behavioral models; service-oriented systems, and behavioraltypes.
Copyright:
2016

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9783319336121
Publisher:
Springer International Publishing, Cham
Date of Addition:
Copyrighted By:
Springer
Adult content:
No
Language:
English
Has Image Descriptions:
No
Categories:
Nonfiction, Computers and Internet
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.

Reviews

No Rating Yet