Coalgebra morphisms subsume open maps
Theoretical Computer Science
A Linear Metalanguage for Concurrency
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Event Structures as Presheaves -Two Representation Theorems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Weak Bisimilarity and Open Maps
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Modeling Interaction by Sheaves and Geometric Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Presheaf models for CCS-like languages
Theoretical Computer Science
Unique factorisation lifting functors and categories of linearly-controlled processes
Mathematical Structures in Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
Theoretical Computer Science - Logic, semantics and theory of programming
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sheaves, Objects, and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
Modelling Local Variables: Possible Worlds and Object Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |