Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
Presheaf models for CCS-like languages
Theoretical Computer Science
Theoretical Computer Science - Logic, semantics and theory of programming
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
Hi-index | 0.00 |