4 papers
A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
Pedro H. Azevedo de Amorim, Mayuko Kori, Koko Muroya
In this paper we present a framework for modelling \emph{reward-sensitive bisimulations}, that is, bisimulations that account for quantitative differences such as accumulated rewar…
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Anna Matsui, Innocent Obi, Guillaume Sabbagh +4
Critical pair analysis provides a convenient and computable criterion of confluence, which is a fundamental property in rewriting theory, for a wide variety of rewriting systems. B…
A Variety of Request-Response Specifications
Daichi Aiba, Masaki Waga, Hiroya Fujinami +6
We find, motivated by real-world applications, that the well-known request-response specification comes with multiple variations, and that these variations should be distinguished.…
A robust graph-based approach to observational equivalence
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we…