%0 Conference Proceedings
%T Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
%+ Design and Implementation of Autonomous Distributed Systems (MYRIADS)
%+ SUpervision of large MOdular and distributed systems (SUMO)
%+ École normale supérieure - Rennes (ENS Rennes)
%A Pham, The Anh
%A Jéron, Thierry
%A Quinson, Martin
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
%C Copenhagen, Denmark
%Y Jorge A. Pérez
%Y Nobuko Yoshida
%I Springer International Publishing
%V LNCS-11535
%P 224-241
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-21759-4_13
%K Unfolding
%K Asynchronous
%K Partial order
%K Distributed program
%Z Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
%Z Computer Science [cs]Conference papers
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02109769/document
%2 https://inria.hal.science/hal-02109769/file/Forte_paper.pdf
%L hal-02109769
%U https://inria.hal.science/hal-02109769
%~ UNIV-RENNES1
%~ CNRS
%~ INRIA
%~ UNIV-UBS
%~ INSA-RENNES
%~ INRIA-RENNES
%~ IRISA
%~ IRISA_SET
%~ INRIA_TEST
%~ LORIA2
%~ TESTALAIN1
%~ ENS-RENNES
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ UR1-HAL
%~ UR1-MATH-STIC
%~ IFIP-FORTE
%~ UR1-UFR-ISTIC
%~ IFIP-DISCOTEC
%~ TEST-UR-CSS
%~ UNIV-RENNES
%~ INRIA-RENGRE
%~ INRIA-300009
%~ IFIP-LNCS-11535
%~ UR1-MATH-NUM