We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.GT
< prev | next >
new | recent | 2108

Change to browse by:

cs
cs.LO

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computer Science and Game Theory

Title: A Game Characterization for Contrasimilarity

Authors: Benjamin Bisping (Technische Universität Berlin), Luisa Montanari (Technische Universität Berlin)
(Submitted on 24 Aug 2021)
Abstract: We present the first game characterization of contrasimilarity, the weakest form of bisimilarity. The game is finite for finite-state processes and can thus be used for contrasimulation equivalence checking, of which no tool has been capable to date. A machine-checked Isabelle/HOL formalization backs our work and enables further use of contrasimilarity in verification contexts.
Comments: In Proceedings EXPRESS/SOS 2021, arXiv:2108.09624
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
ACM classes: F.3.2; F.4.1
Journal reference: EPTCS 339, 2021, pp. 27-42
DOI: 10.4204/EPTCS.339.5
Cite as: arXiv:2108.10492 [cs.GT]
  (or arXiv:2108.10492v1 [cs.GT] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 24 Aug 2021 02:39:37 GMT (151kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.