Searching for "On the Unity of Logic." – sorted by Relevance.
132 documents found, showing 1 through 10.
Next 10 →
-
A UNITY-style Programming Logic for Shared Dataspace Programs
- …A UNITY-style Programming Logic for Shared Dataspace Programs H. Conrad Cunningham Gruia…
- Cited by 25 (12 self) – Add To MetaCart
-
On mechanizing proofs within a complete proof system for Unity
- … and relatively complete proof system for Unity logic. The advantage of the new solution is that proofs…
- Cited by 1 (0 self) – Add To MetaCart
-
Specification and Refinement of a Message Router
- … system expressed in the UNITY logic. Second, it refines the interface of the router using a new approach…
- Add To MetaCart
-
Towards a Model of Storage Jamming
- … mechanism, using Unity logic. We find that Unity logic, in conjunction with some high-level operators…
- Cited by 22 (3 self) – Add To MetaCart
-
Formal Design of Self-stabilizing Programs
- … operators for the UNITY logic, which enable us to reason completely formal about self-stabilizing algorithms…
- Cited by 2 (0 self) – Add To MetaCart
-
Auxiliary Variables
- … be employed to state program properties that are not directly expressible in the UNITY-logic. 2 Defining…
- Add To MetaCart
-
The UV System
- … for finite state UNITY programs and propositional UNITY logic. The UV system is currently available for SPARC…
- Add To MetaCart
-
A Proof Environment for Concurrent Programs
- … a program from its implementation. Therefore, Unity separates logical behaviour from implementation…
- Cited by 7 (2 self) – Add To MetaCart
-
Program Verification using HOL-UNITY
- … the inference rules of the UNITY logic implemented as theorems in HOL. The paper also contains some empirical…
- Cited by 14 (1 self) – Add To MetaCart
-
A logic for concurrent programming: Safety
- …–219 and by the National Science Foundation Award CCR–9111912. 1 Abstract The UNITY-logic is a fragment of linear temporal…
- Cited by 29 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
