Safety Verification of Wait-Only Non-Blocking Broadcast Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols

Lucie Guillou
Arnaud Sangnier
Nathalie Sznajder

Dates et versions

hal-04624625 , version 1 (25-06-2024)

Identifiants

Citer

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⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More