Transactional Reduction of Component Compositions - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Communication Dans Un Congrès Année : 2007

Transactional Reduction of Component Compositions

(1) , (2, 3)

1
2
3

Serge Haddad

Fonction : Auteur
PersonId : 745039
IdHAL : serge-haddad
ORCID : 0000-0002-1759-1201
IdRef : 032657501

Laboratoire Spécification et Vérification [Cachan]

Pascal Poizat

Fonction : Auteur
PersonId : 7140
IdHAL : pascalpoizat
ORCID : 0000-0001-7979-9510
IdRef : 100530303

Informatique, Biologie Intégrative et Systèmes Complexes

Software architectures and distributed systems

Domaines

Langage de programmation [cs.PL] Web Génie logiciel [cs.SE] Système multi-agents [cs.MA]

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

https://hal.science/hal-00342086

Soumis le : mercredi 26 novembre 2008-17:11:04

Dernière modification le : mardi 19 novembre 2024-20:09:12

Dates et versions

hal-00342086 , version 1 (26-11-2008)

Identifiants

HAL Id : hal-00342086 , version 1
DOI : 10.1007/978-3-540-73196-2_22

Citer

Serge Haddad, Pascal Poizat. Transactional Reduction of Component Compositions. Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), 2007, Tallin, Estonia. pp.341--357, ⟨10.1007/978-3-540-73196-2_22⟩. ⟨hal-00342086⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-EVRY ENS-CACHAN IBISC INRIA2 ENS-PARIS-SACLAY

203 Consultations

0 Téléchargements

Altmetric

Partager