RSC to the ReSCu: Automated Verification of Systems of Communicating Automata - Coordination Models and Languages Access content directly
Conference Papers Year : 2023

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata

Embargoed file
Embargoed file
1 4 7
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04201296 , version 1 (20-08-2024)

Licence

Identifiers

Cite

Loïc Desgeorges, Loïc Germerie Guizouarn. RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.135-143, ⟨10.1007/978-3-031-35361-1_7⟩. ⟨hal-04201296⟩
15 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More