A Game for Linear-time–Branching-time Spectroscopy-Reference-Cited by-同舟云学术

A Game for Linear-time–Branching-time Spectroscopy

Published:2021 Issue: Volume: Page:3-19
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bisping Benjamin^ORCID,Nestmann Uwe^ORCID

Abstract

AbstractWe introduce a generalization of the bisimulation game that can be employed to find all relevant distinguishing Hennessy–Milner logic formulas for two compared finite-state processes. By measuring the use of expressive powers, we adapt the formula generation to just yield formulas belonging to the coarsest distinguishing behavioral preorders/equivalences from the linear-time–branching-time spectrum. The induced algorithm can determine the best fit of (in)equivalences for a pair of processes.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_1

Reference18 articles.

1. Bisping, B.: Linear-time–branching-time spectroscope: TACAS 2021 edition (2021). https://doi.org/10.5281/zenodo.4475878, archived on Zenodo

2. Bisping, B., Nestmann, U.: Computing coupled similarity. In: Proceedings of TACAS. pp. 244–261. LNCS, Springer (2019). https://doi.org/10.1007/978-3-030-17462-0_14

3. Bisping, B., Nestmann, U., Peters, K.: Coupled similarity: the first 32 years. Acta Informatica 57(3-5), 439–463 (2020). https://doi.org/10.1007/s00236-019-00356-4

4. Chen, X., Deng, Y.: Game characterizations of process equivalences. In: Ramalingam, G. (ed.) Programming Languages and Systems. pp. 107–121. Springer Berlin Heidelberg, Berlin, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89330-1_8

5. Cleaveland, R.: On automatically explaining bisimulation inequivalence. In: Clarke, E.M., Kurshan, R.P. (eds.) Computer-Aided Verification. pp. 364–372. Springer Berlin Heidelberg, Berlin, Heidelberg (1991). https://doi.org/10.1007/BFb0023750

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Process Equivalence Problems as Energy Games;Computer Aided Verification;2023

2. A Game Characterization for Contrasimilarity;Electronic Proceedings in Theoretical Computer Science;2021-08-23

3. DECIDING ALL BEHAVIORAL EQUIVALENCES AT ONCE: A GAME FOR LINEAR-TIME-BRANCHING-TIME SPECTROSCOPY;LOG METH COMPUT SCI;2021