Concerto-D in Maude

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

doi:10.5281/zenodo.12786127

Logiciel Année : 2024

Concerto-D in Maude

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

1
2
3
4

Farid Arfi

Fonction : Auteur

Département Automatique, Productique et Informatique

Hélène Coullon

Fonction : Auteur
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

Fonction : Auteur
PersonId : 2199
IdHAL : frederic-loulergue
ORCID : 0000-0001-9301-7829
IdRef : 096178558

Langages, Modèles et Vérification

Jolan Philippe

Fonction : Auteur
PersonId : 1352087
IdHAL : jolan-philippe
ORCID : 0000-0001-8759-4566

Département Automatique, Productique et Informatique

Simon Robillard

Fonction : Auteur
PersonId : 750683
IdHAL : simon-robillard
ORCID : 0000-0003-4751-380X

Models And Reuse Engineering, Languages

Résumé

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

Domaines

Informatique [cs]

Frédéric Loulergue : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04654817

Soumis le : samedi 20 juillet 2024-10:45:26

Dernière modification le : jeudi 7 novembre 2024-16:14:03

Dates et versions

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

Identifiants

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
Licences : GNU General Public License v3.0 or later
Langage de programmation : Maude , Python
Code Repository : https://github.com/Concerto-D/concertod-maude/tree/ice24-final-version

Citer

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⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

74 Consultations

0 Téléchargements

Concerto-D in Maude

Résumé

Domaines

Dates et versions

Identifiants

Métadonnées

Citer

Exporter

Collections

Altmetric

Partager