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

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

2002 - Proceedings, brief announcement

Hitzaldia

Autoreak sinadura ordenaren arabera:
Antonio Fernández, Mikel Larrea, Sergio Arévalo
Argitalpen urtea:
2002
Hasierako orria:
25
Bukaerako orria:
30
Argitalpenaren izena:
Proceedings, brief announcement
Kongresuaren izena:
16th International Symposium on Distributed Computing (DISC 2002)
Kongresuaren tokia:
Toulouse, Francia
Hasierako data:
2002-10-01
Bukaerako data:
2002-10-01