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

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

2002 - Proceedings, brief announcement

Oral communication

Authors by signature order:
Antonio Fernández, Mikel Larrea, Sergio Arévalo
Publication year:
2002
Start page:
25
Final page:
30
Publication name:
Proceedings, brief announcement
congress name:
16th International Symposium on Distributed Computing (DISC 2002)
Celebration place:
Toulouse, Francia
Start date:
2002-10-01
Final date:
2002-10-01