2 Artículos

Programming Tools - Symbolic Model Checking for Self-Stabilizing Algorithms

Solicitud

usuarios registrados

Tsuchiya, T; Nagano, S; Paidi, R B; Kikuno, T Pág. 81 - 81

Revista: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS Formato: Impreso

Tabla de contenido: Vol: 12 Num: 1 Par: 0 Año: 2001

Algorithms - Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes

Solicitud

usuarios registrados

Tsuchiya, T; Yamaguchi, M; Kikuno, T Pág. 337 - 345

Revista: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS Formato: Impreso

Tabla de contenido: Vol: 10 Num: 4 Par: 0 Año: 1999

« Anterior Página: 1 de 1 Siguiente »