A logic of events (2003)

Cached

Download Links

by Mark Bickford , Robert L. Constable
Citations:10 - 7 self

Documents Related by Co-Citation

1534 Distributed Algorithms – N A Lynch - 1996
473 The Calculus of Constructions – T Coquand, G Huet - 1988
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
101 Proofs as programs – J L Bates, Robert L Constable - 1985
15 Constructive mathematics and automatic program writers – R L Constable - 1971
73 Building reliable, high-performance communication systems from components – Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable - 1999
151 Implementing Mathematics with The Nuprl Proof Development System – Robert L. Constable, Stuart F. Allen, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, Scott F. Smith, James T. Sasaki, S. F. Smith - 1986
4 A causal logic of events in formalized computational type theory – M Bickford, R L Constable - 2006
24 Innovations in computational type theory using nuprl – Stuart F Allen, Mark Bickford, Robert L Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E Moran
33 The MetaPRL Logical Programming Environment – J J Hickey - 2001
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
1425 Impossibility of Distributed Consensus with One Faulty Process – Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson - 1985
9 Toward Practical Applications of Software Synthesis – Douglas R. Smith, Cordell C. Green - 1996
10 Program synthesis – Christoph Kreitz - 1998
25 A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals – Herman Geuvers, Freek Wiedijk, Jan Zwanenburg - 2001
10 An introduction to Input/Output automata. Centrum voor Wiskunde en – N Lynch, M Tuttle - 1989
44 The Nuprl Open Logical Environment – S. F. Allen, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo - 2000