Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >
Please use this identifier to cite or link to this item:
|Title: ||A Causal Logic of Events in Formalized Computational Type Theory|
|Authors: ||Bickford, Mark|
Constable, Robert L.
|Keywords: ||computer science|
|Issue Date: ||13-Dec-2005|
|Publisher: ||Cornell University|
|Abstract: ||We provide a logic for distributed computing that has the
explanatory and technical power of constructive logics of computation. Inparticular, we establish a proof technology that supports correct-by-construction programming based on the notion that concurrent processes can be extracted from proofs that specifications are achievable.|
|Appears in Collections:||Computing and Information Science Technical Reports|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.