A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Categories of Processes Enriched in Final Coalgebras
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Towards "dynamic domains": Totally continuous cocomplete Q-categories
Theoretical Computer Science
Theoretical Computer Science
Information systems revisited – the general continuous case
Theoretical Computer Science
Theoretical Computer Science
Meet continuity properties of posets
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Structures in Computer Science
Real-time event structures and scott domains
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Extending algebraic operations to D-completions
Theoretical Computer Science
Hi-index | 0.01 |