| |
| 1990 | ||
|---|---|---|
| 2 | M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352 | |
| 1989 | ||
| 1 | EE | Paulo Veríssimo, Luís Rodrigues, M. Baptista: AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM 1989: 83-93 |
| 1 | Susanne Graf | [2] |
| 2 | Jean-Luc Richier | [2] |
| 3 | Luís Rodrigues | [1] [2] |
| 4 | Carlos Rodriguez | [2] |
| 5 | Paulo Veríssimo | [1] [2] |
| 6 | Jacques Voiron | [2] |