|
|
eCommons@Cornell >
Browsing by Author Bickford, Mark
Showing results 2 to 10 of 10
| Preview | Issue Date | Title | Author(s) | | 16-Jun-2004 | FDL: A Prototype Formal Digital Library | Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor |
| 9-May-2001 | Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironment | Bickford, Mark; Kreitz, Christoph; van Renesse, Robbert |
| 25-Aug-2011 | Generating event logics with higher-order processes as realizers | Bickford, Mark; Constable, Robert; Guaspari, David |
| 7-Oct-2011 | Intuitionistic Completeness of First-Order Logic | Constable, Robert; Bickford, Mark |
| 12-Sep-2011 | Investigating correct-by-construction attack-tolerant systems | Constable, Robert; Bickford, Mark; Van Renesse, Robbert |
| 13-Feb-2004 | Knowledge-Based Sythesis of Distributed Systems Using Event Structures | Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina |
| 7-Mar-2003 | A Logic of Events | Bickford, Mark; Constable, Robert L. |
| 23-Jan-2012 | The Logic of Events, a framework to reason about distributed systems | Bickford, Mark; Constable, Robert; Rahli, Vincent |
| 3-Feb-2003 | A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics. | Allen, Stuart F.; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph. |
Showing results 2 to 10 of 10
|
