Accéder directement au contenu Accéder directement à la navigation
Rapport

Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni 1, 2 Papa Issa Diallo 3 Joël Champeau 4 Benoit Combemale 5 Ciprian Teodorov 3
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4 Lab-STICC_ENSTAB_CACS_MOCS;IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
5 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Résumé : Ce document définit la sémantique opérationnelle du langage MoCCML, un meta langage dédié à la spécification de la concurrence au sein de la définition d'un langage specifique au domaine. Il définit aussi quelques éléments permettant d'aller vers l'exploration exhaustive des modèles MoCCML.
Type de document :
Rapport
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01060601
Contributeur : Team Kairos <>
Soumis le : jeudi 18 septembre 2014 - 11:34:33
Dernière modification le : lundi 12 octobre 2020 - 10:30:12
Archivage à long terme le : : vendredi 19 décembre 2014 - 12:36:17

Fichier

RR-8584.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01060601, version 2

Citation

Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. ⟨hal-01060601v2⟩

Partager

Métriques

Consultations de la notice

1762

Téléchargements de fichiers

978