Safety Verification of Wait-Only Non-Blocking Broadcast Protocols

Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder

doi:10.1007/978-3-031-61433-0_14

Conference Papers Year : 2024

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols

(1) , (2) , (3)

1
2
3

Lucie Guillou

Function : Author
PersonId : 1395288
ORCID : 0000-0002-6101-2895

Institut de Recherche en Informatique Fondamentale

Arnaud Sangnier

Function : Author
PersonId : 1395289
ORCID : 0000-0002-6731-0340

Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]

Nathalie Sznajder

Function : Author
PersonId : 5709
IdHAL : sznajder-nathalie
ORCID : 0000-0002-4199-2443
IdRef : 253130883

Modélisation et Vérification

Domains

Computer Science [cs]

Nathalie Sznajder : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-04624625

Submitted on : Friday, October 11, 2024-12:15:11 PM

Last modification on : Wednesday, October 30, 2024-1:33:09 PM

Dates and versions

hal-04624625 , version 1 (11-10-2024)

Identifiers

HAL Id : hal-04624625 , version 1
ARXIV : 2403.18591
DOI : 10.1007/978-3-031-61433-0_14

Cite

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Jun 2024, Geneva, Switzerland. pp.291-311, ⟨10.1007/978-3-031-61433-0_14⟩. ⟨hal-04624625⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES IRIF

54 View

0 Download