2 papers
cs.LO2020
Abstract Congruence Criteria for Weak Bisimilarity
Stelios Tsampas, Christian Williams, Andreas Nuyts +2
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a cong…
math.CT2019
Enriched Lawvere Theories for Operational Semantics
John C. Baez, Christian Williams
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theo…