Formal Methods for Web Services More Books Like This
Web Services, Formal Methods, and Behavioral Types
2016
Web Services and Formal Methods
2014
Coordination Models and Languages
2017
Coordination Models and Languages
2020
Coordination Models and Languages
2010
Software Engineering and Formal Methods
2014
Coordination Models and Languages
2019
Formal Aspects of Component Software
2014
Formal Methods for Eternal Networked Software Systems
2011
Transactions on Petri Nets and Other Models of Concurrency II
2009
Rule Technologies. Research, Tools, and Applications
2016
Software Engineering and Formal Methods
2015
Formal Methods for Components and Objects
2009
Software Engineering and Formal Methods
2017
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
2007