From Omega to <>P in the Crash-Recovery Failure Model with Unknown Membership

Mikel Larrea, Cristian Martín

2007 -

Technical report

Authors by signature order:
Mikel Larrea, Cristian Martín
Publication year:
2007
Publication place:
Universidad del País Vasco UPV/EHU, Informe Técnico EHU-KAT-IK-08-07
Start date:
2007-09-01
Final date:
2007-09-01