-
1
-
-
84937409452
-
The NUPRL open logical environment
-
th Conference on Automated Deduction, Springer
-
th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 1831, pages 170-176. Springer, 2000.
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.1831
, pp. 170-176
-
-
Allen, S.1
Constable, R.2
Eaton, R.3
Kreitz, C.4
Lorigo, L.5
-
3
-
-
84876614688
-
Predicate transformers for infinite-state automata in NUPRL type theory
-
M. Bickford and J. Hickey. Predicate transformers for infinite-state automata in NUPRL type theory. In Irish Formal Methods Workshop, 1999.
-
(1999)
Irish Formal Methods Workshop
-
-
Bickford, M.1
Hickey, J.2
-
8
-
-
0004174649
-
-
Prentice Hall
-
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing Mathematics with the NUPRL proof development system. Prentice Hall, 1986.
-
(1986)
Implementing Mathematics with the NUPRL Proof Development System
-
-
Constable, R.L.1
Allen, S.F.2
Bromley, H.M.3
Cleaveland, W.R.4
Cremer, J.F.5
Harper, R.W.6
Howe, D.J.7
Knoblock, T.B.8
Mendler, N.P.9
Panangaden, P.10
Sasaki, J.T.11
Smith, S.F.12
-
9
-
-
0004136464
-
-
PhD thesis, Cornell University. Department of Computer Science
-
M. Hayden. The Ensemble System. PhD thesis, Cornell University. Department of Computer Science, 1998.
-
(1998)
The Ensemble System
-
-
Hayden, M.1
-
10
-
-
84948945922
-
Specifications and proofs for Ensemble layers
-
th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer
-
th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1579, pages 119-133. Springer, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1579
, pp. 119-133
-
-
Hickey, J.1
Lynch, N.2
Van Renesse, R.3
-
12
-
-
0024749141
-
An efficient reliable broadcast protocol
-
M. F. Kaashoek, A. S. Tanenbaum, S. Flynn-Hummel, and H. E. Bal. An efficient reliable broadcast protocol. Operating Systems Review, 23(4):5-19, 1989.
-
(1989)
Operating Systems Review
, vol.23
, Issue.4
, pp. 5-19
-
-
Kaashoek, M.F.1
Tanenbaum, A.S.2
Flynn-Hummel, S.3
Bal, H.E.4
-
14
-
-
84964483078
-
Building reliable, high-performance communication systems from components
-
th ACM Symposium on Operating Systems Principles (SOSP'99), Operating Systems Review, 34(5):80-92, 1999.
-
(1999)
th ACM Symposium on Operating Systems Principles (SOSP'99), Operating Systems Review
, vol.34
, Issue.5
, pp. 80-92
-
-
Liu, X.1
Kreitz, C.2
Van Renesse, R.3
Hickey, J.4
Hayden, M.5
Birman, K.6
Constable, R.7
-
15
-
-
0842308231
-
Protocol switching: Exploiting meta-properties
-
L. Rodrigues and M. Raynal, editors, IEEE Computer Society Press
-
X. Liu, R. van Renesse, M. Bickford, C. Kreitz, and R. Constable. Protocol switching: Exploiting meta-properties. In L. Rodrigues and M. Raynal, editors, International Workshop on Applied Reliable Group Communication (WARGC 2001). IEEE Computer Society Press, 2001.
-
(2001)
International Workshop on Applied Reliable Group Communication (WARGC 2001)
-
-
Liu, X.1
Van Renesse, R.2
Bickford, M.3
Kreitz, C.4
Constable, R.5
-
19
-
-
0030130161
-
Horus: A flexible group communication system
-
R. van Renesse, K. Birman, and S. Maffeis. Horus: A flexible group communication system. Communications of the ACM, 39(4):76-83, 1996.
-
(1996)
Communications of the ACM
, vol.39
, Issue.4
, pp. 76-83
-
-
Van Renesse, R.1
Birman, K.2
Maffeis, S.3
-
21
-
-
0032114960
-
Building adaptive systems using Ensemble
-
R. van Renesse, K. P. Birman, M. Hayden, A. Vaysburd, and D. A. Karr. Building adaptive systems using Ensemble. Software - Practice and Experience, 1998.
-
(1998)
Software - Practice and Experience
-
-
Van Renesse, R.1
Birman, K.P.2
Hayden, M.3
Vaysburd, A.4
Karr, D.A.5
|