Skip to Main content Skip to Navigation
Journal articles

Compositional model checking with divergence preserving branching bisimilarity is lively

Sander de Putter Frédéric Lang 1 Anton Wijs 2
1 CONVECS [2020-....] - Construction of verified concurrent systems [2020-....]
LIG [2020-....] - Laboratoire d'Informatique de Grenoble [2020-....], Inria Grenoble - Rhône-Alpes
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-02890800
Contributor : Frederic Lang <>
Submitted on : Monday, July 6, 2020 - 3:21:37 PM
Last modification on : Wednesday, August 5, 2020 - 3:25:47 AM

Identifiers

Collections

Citation

Sander de Putter, Frédéric Lang, Anton Wijs. Compositional model checking with divergence preserving branching bisimilarity is lively. Science of Computer Programming, Elsevier, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩. ⟨hal-02890800⟩

Share

Metrics

Record views

19