|
Journals in DBLP
Preface. [Citation Graph (, )][DBLP]
Context for Models of Concurrency. [Citation Graph (, )][DBLP]
Stability of Multi-Valued Continuous Consensus. [Citation Graph (, )][DBLP]
A Framework for Component Categories. [Citation Graph (, )][DBLP]
The Complexity of Early Deciding Set Agreement: How can Topology help? [Citation Graph (, )][DBLP]
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. [Citation Graph (, )][DBLP]
T-homotopy and Refinement of Observation (I): Introduction. [Citation Graph (, )][DBLP]
Comparing Topological Models for Concurrency. [Citation Graph (, )][DBLP]
A Fibration Category of Local Pospaces. [Citation Graph (, )][DBLP]
Criteria for Homotopic Maps to be So Along Monotone Homotopies. [Citation Graph (, )][DBLP]
Topological Properties of Event Structures. [Citation Graph (, )][DBLP]
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. [Citation Graph (, )][DBLP]
|