The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 230, number:


  1. Preface. [Citation Graph (, )][DBLP]


  2. Context for Models of Concurrency. [Citation Graph (, )][DBLP]


  3. Stability of Multi-Valued Continuous Consensus. [Citation Graph (, )][DBLP]


  4. A Framework for Component Categories. [Citation Graph (, )][DBLP]


  5. The Complexity of Early Deciding Set Agreement: How can Topology help? [Citation Graph (, )][DBLP]


  6. An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. [Citation Graph (, )][DBLP]


  7. T-homotopy and Refinement of Observation (I): Introduction. [Citation Graph (, )][DBLP]


  8. Comparing Topological Models for Concurrency. [Citation Graph (, )][DBLP]


  9. A Fibration Category of Local Pospaces. [Citation Graph (, )][DBLP]


  10. Criteria for Homotopic Maps to be So Along Monotone Homotopies. [Citation Graph (, )][DBLP]


  11. Topological Properties of Event Structures. [Citation Graph (, )][DBLP]


  12. Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002