A Complete Normal-Form Bisimilarity for State

Liste complète des métadonnées

https://hal.inria.fr/hal-02002115
Contributor : Sergueï Lenglet <>
Submitted on : Thursday, January 31, 2019 - 2:56:52 PM
Last modification on : Thursday, February 7, 2019 - 5:13:08 PM

File

RR-9251.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02002115, version 1

Citation

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. A Complete Normal-Form Bisimilarity for State. [Research Report] RR-9251, Inria Nancy - Grand Est. 2019. ⟨hal-02002115⟩

Share

Metrics

Record views

38

Files downloads

84