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