79 citations · 222 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 4 cited
Compositional model checking of concurrent systems, with Petri nets
Paweł Sobociński
Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour…
math.CT2016★ 23 cited
Rewriting modulo symmetric monoidal structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming in…