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.

• Paulo Verissimo, “Real-time data management with clock-less reliable broadcast protocols”, in November 1990. Proceedings of the IEEE Workshop on the Management of Replicated Data, Houston, Texas, USA, Nov. 1990.

• Paulo Verissimo, José A. Marques, “Reliable broadcast for fault-tolerance on local computer networks”, in October 1990. Proceedings of the 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama, USA, Oct. 1990.

• 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

• Paulo Verissimo, “Redundant Media Mechanisms for Dependable Communication in Token-Bus LANs”, in October 1988. Proceedings of the 13th IEEE Local Computer Network Conference, Minneapolis, USA, Oct. 1988.

• D. Powell, D. Seaton, G. Bonn, Paulo Verissimo, F. Waeselynck, “The Delta-4 Approach to Dependability in Open Distributed Computing Systems”, in Proceedings of the 18th IEEE International Symposium on Fault-Tolerant Computing (FTCS), pp. 246-251, June 1988., Jun. 1988. Please visit the Delta-4 project web page (http://www.navigators.di.fc.ul.pt/wiki/Project:Delta-4) for further information"