-
1
-
-
34250218171
-
Verification of peer-to-peer algorithms: A case study
-
Bakhshi, R., Gurov, D.: Verification of peer-to-peer algorithms: A case study. Electr. Notes Theor. Comput. Sci. 181, 35-47 (2007)
-
(2007)
Electr. Notes Theor. Comput. Sci.
, vol.181
, pp. 35-47
-
-
Bakhshi, R.1
Gurov, D.2
-
2
-
-
23944512185
-
Verifying a structured peerto- Peer overlay network: The static case
-
Priami, C., Quaglia, P. (eds.) GC 2004. Springer, Heidelberg
-
Borgström, J., Nestmann, U., Onana, L., Gurov, D.: Verifying a structured peerto- peer overlay network: The static case. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 250-265. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3267
, pp. 250-265
-
-
Borgström, J.1
Nestmann, U.2
Onana, L.3
Gurov, D.4
-
3
-
-
4544303626
-
Performance and dependability of structured peer-to-peer overlays
-
IEEE Computer Society Press, Los Alamitos
-
Castro, M., Costa, M., Rowstron, A.I.T.: Performance and dependability of structured peer-to-peer overlays. In: International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, pp. 9-18. IEEE Computer Society Press, Los Alamitos (2004)
-
(2004)
International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy
, pp. 9-18
-
-
Castro, M.1
Costa, M.2
Rowstron, A.I.T.3
-
4
-
-
77955264460
-
Verifying safety properties with the TLA+ proof system
-
Giesl, J., Hähnle, R. (eds.) IJCAR 2010. Springer, Heidelberg
-
Chaudhuri, K., Doligez, D., Lamport, L., Merz, S.: Verifying safety properties with the TLA+ proof system. In: Giesl, J., Hähnle, R. (eds.) IJCAR 2010. LNCS, vol. 6173, pp. 142-148. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6173
, pp. 142-148
-
-
Chaudhuri, K.1
Doligez, D.2
Lamport, L.3
Merz, S.4
-
5
-
-
33750312573
-
-
Technical Report TR05-456, Rice University, Department of Computer Science August
-
Haeberlen, A., Hoye, J., Mislove, A., Druschel, P.: Consistent key mapping in structured overlays. Technical Report TR05-456, Rice University, Department of Computer Science (August 2005)
-
(2005)
Consistent Key Mapping in Structured Overlays.
-
-
Haeberlen, A.1
Hoye, J.2
Mislove, A.3
Druschel, P.4
-
7
-
-
79960868084
-
-
Technical Report MPI-I-2011-RG1-002, Max-Planck-Institute für Informatik April
-
Lu, T., Merz, S., Weidenbach, C.: Towards verification of the pastry protocol using TLA+. Technical Report MPI-I-2011-RG1-002, Max-Planck-Institute für Informatik (April 2011)
-
(2011)
Towards Verification of the Pastry Protocol Using TLA+
-
-
Lu, T.1
Merz, S.2
Weidenbach, C.3
-
8
-
-
84866066366
-
-
Rice University and Max-Planck Institute for Software Systems
-
Rice University and Max-Planck Institute for Software Systems. Pastry: A substrate for peer-to-peer applications, http://www.freepastry.org/
-
Pastry: A Substrate for Peer-to-peer Applications
-
-
-
10
-
-
34247620867
-
Design and verification of communication protocols for peer-to-peer multimedia systems
-
IEEE, Los Alamitos
-
Velipasalar, S., Lin, C.H., Schlessman, J., Wolf, W.: Design and verification of communication protocols for peer-to-peer multimedia systems. In: IEEE Intl. Conf. Multimedia and Expo (ICME 2006), Toronto, Canada, pp. 1421-1424. IEEE, Los Alamitos (2006)
-
(2006)
IEEE Intl. Conf. Multimedia and Expo (ICME 2006), Toronto, Canada
, pp. 1421-1424
-
-
Velipasalar, S.1
Lin, C.H.2
Schlessman, J.3
Wolf, W.4
-
11
-
-
84958641324
-
Model checking TLA+ specifications
-
Pierre, L., Kropf, T. (eds.) CHARME 1999. Springer, Heidelberg
-
Yu, Y., Manolios, P., Lamport, L.: Model checking TLA+ specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54-66. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1703
, pp. 54-66
-
-
Yu, Y.1
Manolios, P.2
Lamport, L.3
|