A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
A regular viewpoint on processes and algebra
Acta Cybernetica
CCS with replication in the Chomsky hierarchy: the expressive power of divergence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Hi-index | 0.00 |
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisation of relations to categories. Here they are first presented and motivated ...