@article{754904,
      author = {Hildebrandt, Thomas, and Ravara, António, and Werf, Jan  Martijn van der, and Weidlich, Matthias,},
      url = {http://library.usi.edu/record/754904},
      title = {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 / [electronic resource] :.  WS-FM (Workshop)},
      abstract = {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. .},
      doi = {https://doi.org/10.1007/978-3-319-33612-1},
      recid = {754904},
      pages = {1 online resource (xvii, 167 pages) :},
}