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

Loïc Desgeorges; Loïc Germerie Guizouarn

doi:10.1007/978-3-031-35361-1_7

Conference Papers Year : 2023

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

(1) , (1)

1

Loïc Desgeorges

Function : Author
PersonId : 1199102
IdHAL : loic-desgeorges

Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

Loïc Germerie Guizouarn

Function : Author

Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

Domains

Computer Science [cs]

Embargoed file

1	―	0	―	2
Year		Month		Jours

Avant la publication
Thursday, January 1, 2026

Christopher Lallemant : Connect in order to contact the contributor

https://inria.hal.science/hal-04201296

Submitted on : Tuesday, August 20, 2024-4:22:30 PM

Last modification on : Tuesday, August 20, 2024-4:24:05 PM

Dates and versions

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

Licence

Attribution

Identifiers

HAL Id : hal-04201296 , version 1
DOI : 10.1007/978-3-031-35361-1_7

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-COORDINATION UNIV-COTEDAZUR ANR IFIP-LNCS-13908

42 View

4 Download