Homology of Higher Dimensional Automata (1992)

Cached

Download Links

by Eric Goubault , Thomas P. Jensen
Citations:43 - 11 self

Active Bibliography

3 Event-State Duality: The Enriched Case – Vaughan R. Pratt
4 Concrete Data Structures and Functional Parallel Programming – Gaétan Hains, Frédéric Loulergue, John Mullins - 1997
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
The Duality of State and Observation in Probabilistic Transition Systems – Monica Dinculescu, Joelle Pineau
Semantic Analysis of a Concurrent Pascal (Extended Abstract) – Régis Cridlig
21 Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking – Régis Cridlig - 1995
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Polymorphic Subtyping: A Semantic Perspective based on Abstract Interpretation (Extended Abstract) – B. Monsuez
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
8 Precise Interprocedural Dependence Analysis of Parallel Programs – Markus Müller-Olm - 2002
1 Theory for Software Verification – David A. Naumann - 2009
2 Notes on Discrete Mathematics for Computer Scientists – James Caldwell - 2003
1.3 Syntax................................. 2 – James Caldwell - 2003
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
98 Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation – Patrick Cousot - 2002
7 Semantics and Analysis of Linda-based languages – Régis Cridlig, Eric Goubault - 1993
Software Development for High Performance Computing – Teodor A. Rus, Arthur C. Fleck
1 An Automata based Model for the Implementation of a TTCN Simulator – Jens Grabowski - 1996