Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Bisping, Benjamin, Jansen, David N., Nestmann, Uwe
Published in Logical methods in computer science (09.08.2022)
Published in Logical methods in computer science (09.08.2022)
Get full text
Journal Article
A Game Characterization for Contrasimilarity
Bisping, Benjamin, Montanari, Luisa
Published in Electronic proceedings in theoretical computer science (23.08.2021)
Published in Electronic proceedings in theoretical computer science (23.08.2021)
Get full text
Journal Article