Distributed computation of vector clocks in Petri net unfoldings for test selection

Loïg Jezequel; Agnes Madalinski; Stefan Schwoon

doi:10.1007/s10626-020-00310-4

Journal Articles Discrete Event Dynamic Systems Year : 2020

Distributed computation of vector clocks in Petri net unfoldings for test selection

(1) , (2) , (3)

1
2
3

Loïg Jezequel

Function : Author
PersonId : 17349
IdHAL : loig-jezequel
ORCID : 0000-0001-5113-9668
IdRef : 169378837

Laboratoire des Sciences du Numérique de Nantes

Agnes Madalinski

Function : Author
PersonId : 846066

Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]

Stefan Schwoon

Function : Author

Laboratoire Spécification et Vérification

Domains

Computer Science [cs]

Loïg Jezequel : Connect in order to contact the contributor

https://hal.science/hal-02560296

Submitted on : Friday, May 1, 2020-12:59:09 PM

Last modification on : Friday, May 17, 2024-4:22:03 PM

Dates and versions

hal-02560296 , version 1 (01-05-2020)

Identifiers

HAL Id : hal-02560296 , version 1
DOI : 10.1007/s10626-020-00310-4

Cite

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. Discrete Event Dynamic Systems, 2020, ⟨10.1007/s10626-020-00310-4⟩. ⟨hal-02560296⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM UNIV-RENNES1 CNRS ENS-CACHAN EC-NANTES IRISA UNAM UR1-MATH-STIC LS2N LS2N-STR UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF NANTES-UNIVERSITE

59 View

0 Download

Distributed computation of vector clocks in Petri net unfoldings for test selection

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share