1. Provably Correct Implementations of Services
- Author
-
Bruni, Roberto, De Nicola, Rocco, Loreti, Michele, Mezzina, Leonardo Gaetano, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kaklamanis, Christos, editor, and Nielson, Flemming, editor
- Published
- 2009
- Full Text
- View/download PDF