notesum.ai

Published at November 21

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics

cs.LO

Released Date: November 21, 2024

Authors: Benjamin Bisping¹, David N. Jansen²

Aff.: ¹Technische Universität Berlin, Germany; ²Key Laboratory of System Software and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

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