M. Baptista

	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		Paulo Veríssimo, Luís Rodrigues, M. Baptista: AMp: A Highly Parallel Atomic Multicast Protocol. SIGCOMM 1989: 83-93

Coauthor Index

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]