Twisted Systems and the Logic of Imperative Programs (1998)

Cached

Download Links

by Lindsay Errington
Citations:1 - 1 self

Documents Related by Co-Citation

4 Categories for Synchrony and Asynchrony – J.R.B. Cockett, D. A. Spooner - 1995
1 Static analysis of valuepassing process calculi (extended abstract – David Clark, Lindsay Errington, Chris Hankin - 1995
1 Twisted Systems – David Lindsay Errington - 1999
1 A presheaf semantics for the ��-calculus – Gian Luca Cattani, Ian Stark, Glynn Winskel - 1997
2 Categories of processes with state – Lindsay Errington - 1996
3 Géométrie du Parallélisme – Eric Goubault, Gerard Berry Examinateur, Patrick Cousot Directeur De Th`ese - 1995
3 Unique factorization lifting functors and categories of processes, preprint – M C Bunge, M P Fiore - 1998
7 Structured transition systems with parametric observations: observational congruences and minimal realizations – G Ferrari, U Montanari, M Mowbray - 1997
8 A Fully Abstract Model for the ��-- Calculus – M P Fiore, E Moggi, D Sangiorgi - 1996
16 A Fully Abstract Domain Model for the ��--Calculus – I Stark - 1996
6 An Algebraic Description of Programs with Assertions, Verification and Simulation – Rod Burstall - 1972
7 SProc Categorically – J.R.B. Cockett, D. A. Spooner - 1994
2 A Semantic Theory for Value-- Passing Processes, Late Approach, Part II: A Behavioural Semantics and Full Abstractness – RS-95-22 Anna Ing'olfsd'ottir - 1995
6 Unifying Models of Concurrency – G Ferrari - 1990
19 Synchronisation trees – Glynn Winskel - 1984
5 Cattani and Vladimiro Sassone. Higher dimensional transition systems – Gian Luca - 1996
40 Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories – Andrzej Tarlecki, Rod Burstall, Joseph Goguen - 1991
34 Integration Categories and Communicating Sequential Processes – S Abramsky - 1994
12 Exponentiability and Single Universes – M Bunge, S Niefeld - 1966