Formal Methods for Open Object-Based Distributed Systems: ...
Preview
... 14-16, 2006, Proceedings Roberto Gorrieri, Heike Wehrheim. Security. Issues. in. Service. Composition. Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari Dipartimento di Informatica, Universit`a di Pisa, Italy {bartolet, degano, ...