Web Services, Formal Methods, and Behavioral Types

by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich