Computing Coupled Similarity-Reference-Cited by-同舟云学术

Computing Coupled Similarity

Published:2019 Issue: Volume: Page:244-261
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

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17462-0_14

Reference33 articles.

1. Bisping, B.: Computing coupled similarity. Master’s thesis, Technische Universität Berlin (2018). https://coupledsim.bbisping.de/bisping_computingCoupledSimilarity_thesis.pdf

2. Bisping, B.: Isabelle/HOL proof and Apache Flink program for TACAS 2019 paper: Computing Coupled Similarity (artifact). Figshare (2019). https://doi.org/10.6084/m9.figshare.7831382.v1

3. Boulgakov, A., Gibson-Robinson, T., Roscoe, A.W.: Computing maximal weak and other bisimulations. Formal Aspects Comput. 28(3), 381–407 (2016). https://doi.org/10.1007/s00165-016-0366-2

4. Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache Flink: stream and batch processing in a single engine. In: Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, vol. 36, no. 4 (2015)

5. Lecture Notes in Computer Science;J Derrick,2003

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

1. Characterizing contrasimilarity through games, modal logic, and complexity;Information and Computation;2024-10

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

3. Book review;Journal of Logical and Algebraic Methods in Programming;2022-02

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

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