Mário Baptista

Publication Activity (10 Years)

Years Active: 1989-1990
Publications (10 Years): 0

Publications

Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE (1990)
Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista
AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM (1989)