MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Logic of UNITY." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

82 documents found, showing 1 through 10. Next 10 →

ATOM

Formal Methods and Mechanical Verification applied to the development of a convergent distributed sorting program
by T.E.J. Vos, S. D. Swierstra, I. S. W. B. Prasetya — 1996
… program . . . . . . . . . . . . . . . . 21 6.3 UNITY logic…
Cited by 1 (1 self) – Add To MetaCart

A UNITY-style Programming Logic for Shared Dataspace Programs
by H. Conrad Cunningham, H. Conrad, Gruia-Catalin Roman — 2003
…A UNITY-style Programming Logic for Shared Dataspace Programs H. Conrad Cunningham Gruia…
Cited by 25 (12 self) – Add To MetaCart

State in Functional Languages - An Annotated Bibliography
by Paul Hudak, Dan Rabin — 1993
… on ideas taken from Girard's Logic of Unity. The new syntax is based on pattern matching, allowing…
Cited by 1 (0 self) – Add To MetaCart

A Logic for Synchronous Transitions
by Vanderlei Moraes Rodrigues, Rodrigues Flavio, Rech Wagner — 1999
… with generic parameters and regular structures. SINC is based on the Hoare logic and the UNITY formalism. 1…
Cited by 1 (1 self) – Add To MetaCart

A Logic to Specify and Verify Synchronous Transitions
by Vanderlei Moraes Rodrigues, Rodrigues Flávio, Flávio Rech Wagner — 1999
… and regular structures. SINC is based on the Hoare logic and the UNITY formalism. 1 Introduction The class…
Add To MetaCart

A Taste of Linear Logic
by Philip Wadler — 1993 — In Mathematical Foundations of Computer Science, volume 711 of LNCS
… it on the Logic of Unity. An application to the array update problem is briefly discussed. 1 Introduction Some…
Cited by 52 (5 self) – Add To MetaCart

Towards a Compositional Approach to the Design and Verification of Distributed Systems
by Michel Charpentier, K. Mani Chandy — 1999 — World Congress on Formal Methods in the Development of Computing Systems (FM'99), (Vol. I), volume 1708 of Lecture Notes in Computer Science
… verication, temporal logic, Unity. 1 A Compositional Approach 1.1 Introduction Component technology…
Cited by 19 (5 self) – Add To MetaCart

Classical Proofs as Programs, Cut Elimination as Computation
by Ichiro Ogata — 1998
… [10] and the logic of unity (LU) [11]. It reaches to LKT/LKQ [4] and more general LK tq [5] through…
Cited by 1 (1 self) – Add To MetaCart

On mechanizing proofs within a complete proof system for Unity
by Nama Brown, Abdelillah Mokkedem — 1995 — Concordia University of Montr'eal
… 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

Towards a Model of Storage Jamming
by John McDermott, David Goldschlag — 1996 — In Proceedings of the IEEE Computer Security Foundations Workshop
… mechanism, using Unity logic. We find that Unity logic, in conjunction with some high-level operators…
Cited by 22 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB