A logic of events (2003)

Cached

Download Links

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

Documents Related by Co-Citation

1533 Distributed Algorithms – N Lynch - 1996
471 The calculus of constructions – Thierry Coquand, Gérard P Huet - 1988
470 P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions – Y Bertot, Castéran - 2004
265 Constructive mathematics and computer programming – P Martin-Löf - 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
718 Isabelle/HOL — A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, M Wenzel - 2002
2327 Time, Clocks, and the Ordering of Events in a Distributed System – Leslie Lamport - 1978
1423 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
26 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