Mário Baptista

According to our database, Mário Baptista authored at least 2 papers between 1989 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron

Proceedings of the Formal Description Techniques, 1990

1989

AMp: A Highly Parallel Atomic Multicast Protocol.

Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989