Semantic search
From Navigators
Publications
- Paulo Verissimo, José Rufino, Luís Rodrigues, “Enforcing real-time behaviour of LAN-based protocols”, in Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems. Semmering, Austria, September 1991., Sept. 1991.
- Luís Rodrigues, Paulo Verissimo, “A posteriori Agreement for Clock Synchronization on Broadcast Networks”, Missing institution, Tech. Rep., Mar. 1991. March 1991 (Revised, March 1992). INESC, Lisboa, Portugal
- Paulo Verissimo, Luís Rodrigues, “Reliable multicasting in high-speed lans”, in High-Capacity Local and Metropolitan Area Networks, ser. NATO ASI. Springer Verlag, Jan. 1991, vol. F72, pp. 397–412.
- Mário Baptista, Luís Rodrigues, Paulo Verissimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron, “Formal specification and verification of a network independent atomic multicast protocol”, in Formal Description Techniques, III, J. Quemada, J. Mañas, E. Vazques, Eds.. North-Holland, Jan. 1991, pp. 345–352.
- P. A. Barrett, P. G. Bond, A. M. Hilborne, Luís Rodrigues, D. Seaton, N. A. Speirs, Paulo Verissimo, “The Delta-4 Extra Performance Architecture (XPA)”, in From the Digest of Papers, The 20th International Symposium on Fault-Tolerant Computing (FTCS), pp. 481-488, June 1990., Jun. 1990.
- Paulo Verissimo, Luís Rodrigues, Mário Baptista, “AMp: A Highly Parallel Atomic Multicast Protocol”, in September 1989. Proceedings of the ACM SIGCOM'89 Symposium, Austin, USA, Sept. 1989.
- Mário Baptista, Luís Rodrigues, Paulo Verissimo, “AtomicMaze: Implementing a distributed computer game using AMp”, Missing institution, Tech. Rep., Mar. 1989. March 1989. INESC, Lisboa, Portugal