Generalized Bisimulation Metrics-Reference-Cited by-同舟云学术

Generalized Bisimulation Metrics

Published:2014 Issue: Volume: Page:32-46
ISSN:0302-9743
Container-title:CONCUR 2014 – Concurrency Theory
language:
Short-container-title:

Author:

Chatzikokolakis Konstantinos,Gebler Daniel,Palamidessi Catuscia,Xu Lili

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-44584-6_4

Reference27 articles.

1. Lecture Notes in Computer Science;G. Bacci,2013

2. Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.: On-the-fly exact computation of bisimilarity distances. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 1–15. Springer, Heidelberg (2013)

3. Barthe, G., Köpf, B., Olmedo, F., Béguelin, S.Z.: Probabilistic relational reasoning for differential privacy. In: Proc. of POPL. ACM (2012)

4. Lecture Notes in Computer Science;F. Breugel van,2001

5. Lecture Notes in Computer Science;F. Breugel van,2001

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

1. Deciding Differential Privacy of Online Algorithms with Multiple Variables;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

2. A framework to measure the robustness of programs in the unpredictable environment;Logical Methods in Computer Science;2023-07-07

3. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04

4. Model checking differentially private properties;Theoretical Computer Science;2023-01

5. Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions;Logical Methods in Computer Science;2022-06-15