Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
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
Presheaf models for CCS-like languages
Theoretical Computer Science
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
The Bicategory-Theoretic Solution of Recursive Domain Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
| Hi-index | 0.00 |