notesum.ai

Published at November 21

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings

cs.LO

Released Date: November 21, 2024

Authors: Marco Bernardo1, Andrea Esposito1, Claudio A. Mezzina1

Aff.: 1Dipartimento di Scienze Pure e Applicate, Universita di Urbino, Urbino, Italy

Arxiv: http://arxiv.org/abs/2411.14583v1