Concerto-D in Maude

Farid Arfi; Hélène Coullon; Frédéric Loulergue; Jolan Philippe; Simon Robillard

doi:10.5281/zenodo.12786127

Software Year : 2024

Concerto-D in Maude

(1) , (1, 2) , (3) , (1) , (4)

1
2
3
4

Farid Arfi

Function : Author

Département Automatique, Productique et Informatique

Hélène Coullon

Function : Author
PersonId : 971686
IdHAL : helene-coullon
ORCID : 0000-0003-2573-2147

Département Automatique, Productique et Informatique

Software Stack for Massively Geo-Distributed Infrastructures

Frédéric Loulergue

Function : Author
PersonId : 2199
IdHAL : frederic-loulergue
ORCID : 0000-0001-9301-7829
IdRef : 096178558

Langages, Modèles et Vérification

Jolan Philippe

Function : Author
PersonId : 1352087
IdHAL : jolan-philippe
ORCID : 0000-0001-8759-4566

Département Automatique, Productique et Informatique

Simon Robillard

Function : Author
PersonId : 750683
IdHAL : simon-robillard
ORCID : 0000-0003-4751-380X

Models And Reuse Engineering, Languages

Abstract

The Maude formalization of Concerto-D corresponding to the final version of the paper published to ICE 2024

Domains

Computer Science [cs]

Frédéric Loulergue : Connect in order to contact the contributor

https://hal.science/hal-04654817

Submitted on : Saturday, July 20, 2024-10:45:26 AM

Last modification on : Monday, August 19, 2024-4:29:58 PM

Dates and versions

hal-04654817 , version 1 (20-07-2024)

Identifiers

HAL Id : hal-04654817 , version 1
DOI : 10.5281/zenodo.12786127
SWHID : swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/

version : ice24-final-version
Software License : GNU General Public License v3.0 or later
Programming Language : Maude , Python
Code Repository : https://github.com/Concerto-D/concertod-maude/tree/ice24-final-version

Cite

Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard. Concerto-D in Maude. 2024, ⟨swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/⟩. ⟨hal-04654817⟩

Export

format_codemeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS INRIA UNIV-ORLEANS EC-NANTES UNAM MAREL LIRMM INRIA2 LS2N UNIV-MONTPELLIER LS2N-STACK IMT-ATLANTIQUE INSA-GROUPE INSA-CVL NANTES-UNIVERSITE

2 View

0 Download

Concerto-D in Maude

Abstract

Domains

Dates and versions

Identifiers

Metadata

Cite

Export

Collections

Altmetric

Share