Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

Fichier principal
Vignette du fichier
Forte_paper.pdf (544.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02109769 , version 1 (25-04-2019)

Licence

Identifiers

Cite

The Anh Pham, Thierry Jéron, Martin Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩. ⟨hal-02109769⟩
245 View
573 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More