A Sufficient Condition to Transform <>S into <>P in Asynchronous Systems

Antonio Fernández, Mikel Larrea, Sergio Arévalo

2002 - Proceedings, brief announcement

Ponencia

Autores (p.o. de firma):
Antonio Fernández, Mikel Larrea, Sergio Arévalo
Año publicación:
2002
Página inicio:
25
Página fin:
30
Nombre publicación:
Proceedings, brief announcement
Nombre congreso:
16th International Symposium on Distributed Computing (DISC 2002)
Lugar celebración:
Toulouse, Francia
Fecha inicio:
2002-10-01
Fecha fin:
2002-10-01