-
1
-
-
85066141950
-
Formal specification and verification of a network independent atomic multicast protocol
-
IFIP, Madrid- Spain, November, Also as INESC AR/38-90
-
M. Baptista, L. Rodrigues, P. Verissimo, S. Graf, J.L. Richier, C. Rodriguez, and J. Voiron. Formal specification and verification of a network independent atomic multicast protocol. In Third International Conference on Formal Description Techniques (FORTE 90), IFIP, Madrid- Spain, November 1990. Also as INESC AR/38-90.
-
(1990)
Third International Conference on Formal Description Techniques (FORTE 90)
-
-
Baptista, M.1
Rodrigues, L.2
Verissimo, P.3
Graf, S.4
Richier, J.L.5
Rodriguez, C.6
Voiron, J.7
-
6
-
-
0025665997
-
Fault- tolerance in the advanced automation system
-
IEEE, Newcastle-UK, June
-
Flaviu Cristian, Robert D. Dancey, and Jon Dehn. Fault- tolerance in the advanced automation system. In Digest of Papers, The 20th International Symposium on Fault- Tolerant Computing, IEEE, Newcastle-UK, June 1990.
-
(1990)
Digest of Papers, the 20th International Symposium on Fault- Tolerant Computing
-
-
Cristian, F.1
Dancey, R.D.2
Dehn, J.3
-
8
-
-
85066150384
-
-
Dep. of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Amsterdam, the Netherlands
-
M.Frans Kaashoek, Andrew S. Tanenbaum, Susan Flynn Hummel, and Henri E. Bal. An effcient reliable broadcast protocol, pages 5-19, Dep. of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Amsterdam, the Netherlands, 1989.
-
(1989)
An Effcient Reliable Broadcast Protocol
, pp. 5-19
-
-
Frans Kaashoek, M.1
Tanenbaum, A.S.2
Hummel, S.F.3
Bal, H.E.4
-
9
-
-
0024612269
-
Distributed fault-tolerant real-time systems: The mars approach
-
25-41, February
-
Hermann Kopetz, Andreas Damm, Christian Koza, Marco Mulazzani, Wolfgang Schwabl, Christoph Senft, and Ralph Zainlinger. Distributed Fault-Tolerant Real-Time Systems: The Mars Approach. IEEE Micro, 25-41, February 1989.
-
(1989)
IEEE Micro
-
-
Kopetz, H.1
Damm, A.2
Koza, C.3
Mulazzani, M.4
Schwabl, W.5
Senft, C.6
Zainlinger, R.7
-
10
-
-
33645610871
-
Lazy replication: Exploiting the semantics of distributed services
-
MIT Laboratory for Computer Science
-
Rivka Ladin, Barbara Liskov, Liuba Shrira, and Sanjay Ghemawat. Lazy Replication: Exploiting the Semantics of Distributed Services. Technical Report MIT/LCS/TR-84, MIT Laboratory for Computer Science, 1990.
-
(1990)
Technical Report MIT/LCS/TR-84
-
-
Ladin, R.1
Liskov, B.2
Shrira, L.3
Ghemawat, S.4
-
11
-
-
0017996760
-
Time, clocks and the ordering of events in a distributed system
-
July
-
Leslie Lamport. Time, clocks and the ordering of events in a distributed system. CACM, 7(21), July 1978.
-
(1978)
CACM
, vol.7
, Issue.21
-
-
Lamport, L.1
-
12
-
-
85066114245
-
A new methodology for designing network software
-
University of Arizona, Tucson, USA
-
Sean W. Malley and Larry L. Peterson. A New Methodology for Designing Network Software. Technical Report, University of Arizona, Tucson, USA, 1990.
-
(1990)
Technical Report
-
-
Malley, S.W.1
Peterson, L.L.2
-
15
-
-
0003564918
-
Delta-4 - A generic architecture for dependable distributed computing
-
editor. Springer Verlag, November
-
D. Powell, editor. Delta-4 - A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports, Springer Verlag, November 1991.
-
(1991)
ESPRIT Research Reports
-
-
Powell, D.1
-
16
-
-
33645441321
-
XAMp, A protocol suite for group communication
-
Lis- boa, Portugal, January
-
L. Rodrigues and P. Verissimo. xAMp, A Protocol Suite for Group Communication. Technical Report, INESC, Lis- boa, Portugal, January 1992.
-
(1992)
Technical Report, INESC
-
-
Rodrigues, L.1
Verissimo, P.2
-
17
-
-
84979553513
-
A new algorithm to implement causal ordering
-
Springer Verlag, Nice - France, September
-
A. Schiper, J. Eggli, and A. Sandoz. A new algorithm to implement causal ordering. In 3rd Int Workshop on Distributed Algorithms, pages 219-232, Springer Verlag, Nice - France, September 1989.
-
(1989)
3rd Int Workshop on Distributed Algorithms
, pp. 219-232
-
-
Schiper, A.1
Eggli, J.2
Sandoz, A.3
-
18
-
-
0025557538
-
Reliable broadcast for fault-tolerance on local computer networks
-
IEEE, Huntsville, AlabamarUSA, October, Also as INESC AR/24-90
-
P. Verissimo and Jose A. Marques. Reliable broadcast for fault-tolerance on local computer networks. In Ninth Symposium on Reliable Distributed Systems, IEEE, Huntsville, AlabamarUSA, October 1990. Also as INESC AR/24-90.
-
(1990)
Ninth Symposium on Reliable Distributed Systems
-
-
Verissimo, P.1
Marques, J.A.2
-
20
-
-
0024891336
-
AMp: A highly parallel atomic multicast protocol
-
ACM, Austin-USA, September
-
P. Verissimo, L. Rodrigues, and M. Baptista. AMp: A highly parallel atomic multicast protocol. In SIGCOM'89 Symposium, ACM, Austin-USA, September 1989.
-
(1989)
SIGCOM'89 Symposium
-
-
Verissimo, P.1
Rodrigues, L.2
Baptista, M.3
-
21
-
-
4344565627
-
Enforcing real-time behaviour of LAN-based protocols
-
IFAC, Semmering, Austria, September
-
P. Verissimo, J. Rufino, and L. Rodrigues. Enforcing real-time behaviour of LAN-based protocols. In I Oth IFAC Workshop on Distributed Computer Control Systems, IFAC, Semmering, Austria, September 1991.
-
(1991)
I Oth IFAC Workshop on Distributed Computer Control Systems
-
-
Verissimo, P.1
Rufino, J.2
Rodrigues, L.3
-
22
-
-
85066112701
-
Process groups and reliable multicast communication in extended LANS, mans and internetworks
-
INESC, August
-
Werner Vogels and Paulo Verissimo. Process Groups and reliable multicast communication in extended LANs, MANs and Internetworks. Technical Report, INESC, August 1991.
-
(1991)
Technical Report
-
-
Vogels, W.1
Verissimo, P.2
|