nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Fibration Category of Local Pospaces
|
Kahl, Thomas |
|
2009 |
230 |
C |
p. 129-140 12 p. |
artikel |
2 |
A Framework for Component Categories
|
Haucourt, Emmanuel |
|
2009 |
230 |
C |
p. 39-69 31 p. |
artikel |
3 |
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems
|
Herlihy, Maurice |
|
2009 |
230 |
C |
p. 79-102 24 p. |
artikel |
4 |
Comparing Topological Models for Concurrency
|
Haucourt, Emmanuel |
|
2009 |
230 |
C |
p. 111-127 17 p. |
artikel |
5 |
Context for Models of Concurrency
|
Bubenik, Peter |
|
2009 |
230 |
C |
p. 3-21 19 p. |
artikel |
6 |
Criteria for Homotopic Maps to be So Along Monotone Homotopies
|
Krishnan, Sanjeevi |
|
2009 |
230 |
C |
p. 141-148 8 p. |
artikel |
7 |
Preface
|
Goubault, Eric |
|
2009 |
230 |
C |
p. 1-2 2 p. |
artikel |
8 |
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems
|
Sofronie-Stokkermans, Viorica |
|
2009 |
230 |
C |
p. 161-187 27 p. |
artikel |
9 |
Stability of Multi-Valued Continuous Consensus 1 1 Preliminary Version, Some proofs are omitted from this version.
|
Davidovitch, Lior |
|
2009 |
230 |
C |
p. 23-38 16 p. |
artikel |
10 |
The Complexity of Early Deciding Set Agreement: How can Topology help?
|
Guerraoui, Rachid |
|
2009 |
230 |
C |
p. 71-78 8 p. |
artikel |
11 |
T-homotopy and Refinement of Observation (I): Introduction
|
Gaucher, Philippe |
|
2009 |
230 |
C |
p. 103-110 8 p. |
artikel |
12 |
Topological Properties of Event Structures
|
Santocanale, Luigi |
|
2009 |
230 |
C |
p. 149-160 12 p. |
artikel |