ProfileOfResearchers

271

TITLE: XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE
AUTHORS: RODRIGUES, L ; VERISSIMO, P ;
PUBLISHED: 1992, SOURCE: 11TH SYMP ON RELIABLE DISTRIBUTED SYSTEMS in 11TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS : PROCEEDINGS

INDEXED IN:

WOS

DBLP

CrossRef

IN MY:

ORCID |

ResearcherID |

CIÊNCIAVITAE

272

TITLE: Reliable Multicasting in High-speed LANs
AUTHORS: Paulo Veríssimo ; Luís Rodrigues ;
PUBLISHED: 1991, SOURCE: High-Capacity Local and Metropolitan Area Networks

INDEXED IN:

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

273

TITLE: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol
AUTHORS: Baptista, M; Susanne Graf; Jean Luc Richier; Luís Rodrigues ; Carlos Rodriguez; Paulo Veríssimo ; Jacques Voiron;
PUBLISHED: 1990, SOURCE: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990

INDEXED IN:

DBLP

274

TITLE: The Delta-4 extra performance architecture (XPA) Full Text
AUTHORS: Peter A Barrett; Andrew M Hilborne; Peter G Bond; Douglas T Seaton; Paulo Veríssimo ; Luís Rodrigues ; Neil A Speirs;
PUBLISHED: 1990, SOURCE: 20th International Symposium on Fault-Tolerant Computing - FTCS 20 in Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

275

TITLE: AMp: A Highly Parallel Atomic Multicast Protocol
AUTHORS: Paulo Veríssimo ; Luís Rodrigues ; Baptista, M.;
PUBLISHED: 1989, SOURCE: SIGCOMM '89 Symposium: Communications Architectures & Protocols in SIGCOMM

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE