supported publications or other works
- Computing with Semirings and Weak Rig Groupoids Conferences
- Discrete quantum theories Journal Articles
- Expressing contract monitors as patterns of communication Conferences
- Expressing contract monitors as patterns of communication Journal Articles