Compositional Verification of Concurrent Systems by Combining Bisimulations

Document type :
Conference papers
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.inria.fr/hal-02295459
Contributor : Frederic Lang <>
Submitted on : Tuesday, September 24, 2019 - 11:18:31 AM
Last modification on : Friday, December 13, 2019 - 2:05:22 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Frédéric Lang, Radu Mateescu, Franco Mazzanti. Compositional Verification of Concurrent Systems by Combining Bisimulations. FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩. ⟨hal-02295459⟩

Share

Metrics

Record views

60

Files downloads

455