Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
Unique factorisation lifting functors and categories of linearly-controlled processes
Mathematical Structures in Computer Science
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
Hi-index | 0.00 |