ProfileOfResearchers

271

TÃTULO: XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE
AUTORES: RODRIGUES, L ; VERISSIMO, P ;
PUBLICAÇÃO: 1992, FONTE: 11TH SYMP ON RELIABLE DISTRIBUTED SYSTEMS in 11TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS : PROCEEDINGS

INDEXADO EM:

WOS

DBLP

CrossRef

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE

272

TÃTULO: Reliable Multicasting in High-speed LANs
AUTORES: Paulo Veríssimo ; Luís Rodrigues ;
PUBLICAÇÃO: 1991, FONTE: High-Capacity Local and Metropolitan Area Networks

INDEXADO EM:

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

273

TÃTULO: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol
AUTORES: Baptista, M; Susanne Graf; Jean Luc Richier; Luís Rodrigues ; Carlos Rodriguez; Paulo Veríssimo ; Jacques Voiron;
PUBLICAÇÃO: 1990, FONTE: 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

INDEXADO EM:

DBLP

274

TÃTULO: The Delta-4 extra performance architecture (XPA) Full Text
AUTORES: Peter A Barrett; Andrew M Hilborne; Peter G Bond; Douglas T Seaton; Paulo Veríssimo ; Luís Rodrigues ; Neil A Speirs;
PUBLICAÇÃO: 1990, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

275

TÃTULO: AMp: A Highly Parallel Atomic Multicast Protocol
AUTORES: Paulo Veríssimo ; Luís Rodrigues ; Baptista, M.;
PUBLICAÇÃO: 1989, FONTE: SIGCOMM '89 Symposium: Communications Architectures & Protocols in SIGCOMM

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE