Skip to Main content Skip to Navigation
New interface
Conference papers

Bisimilarity via unique-solution techniques

Davide Sangiorgi 1, 2 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01931203
Contributor : Davide Sangiorgi Connect in order to contact the contributor
Submitted on : Thursday, November 22, 2018 - 3:17:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:18 PM
Long-term archiving on: : Saturday, February 23, 2019 - 3:18:41 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01931203, version 1

Collections

Citation

Davide Sangiorgi. Bisimilarity via unique-solution techniques. 19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy. ⟨hal-01931203⟩

Share

Metrics

Record views

77

Files downloads

50