Twisted Systems and the Logic of Imperative Programs (1998)

Cached

Download Links

by Lindsay Errington
Citations:1 - 1 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Petri Nets, Configuration Structures and Higher Dimensional Automata – R.J. van Glabbeek - 1999
11 On the Expressiveness of higher dimensional automata – R. J. Van Glabbeek - 2005
1 Transition Systems with Independence and Multi-Arcs – Thomas T. Hildebrandt, Vladimiro Sassone
8 Transition and cancellation in concurrency and branching time – Vaughan R. Pratt - 2002
6 Homotopy in Concurrent Processes – Stefan Sokolowski - 1998
9 Investigation of Concurrent Processes By Means of Homotopy Functors – Stefan Sokolowski - 1999
14 Higher Dimensional Automata Revisited – Vaughan Pratt - 2000
23 Higher dimensional transition systems – Gian Luca Cattani - 1996
6 Comparing Transition Systems with Independence and Asynchronous Transition Systems – Thomas T. Hildebrandt, Vladimiro Sassone - 1996
1 Fibrational Semantics of Dataflow Networks – Eugene W. Stark - 1998
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
8 Some Algebraic Laws for Spans (and Their Connections With Multi-Relations) – Roberto Bruni, Fabio Gadducci - 2001
18 Topical Categories of Domains – Steven Vickers - 1997
1 Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic – Peter Knijnenburg, Peter Kn, I Jnenburg, Frank Nordemann - 1993
Transitions take time (Extended Abstract) – Eric Goubault