Miranda, Rodrigo Sincronización conservadora en simulación paralela - p. 418-432 Standard No.: DIF-M3964