ESTELLE:un langage ISO pour les algorithmes distribués et les protocoles

Jean-Pierre Courtiat; Piotr Dembinski; Roland Groz; Claude Jard

inria-00075959, version 1

ESTELLE:un langage ISO pour les algorithmes distribués et les protocoles

Jean-Pierre Courtiat ¹, Piotr Dembinski ², Roland Groz ³, Claude Jard () ^3, 4

N° RR-0595 (1986)

Résumé : Disponible dans les fichiers attachés à ce document

1 : Laboratoire d'analyse et d'architecture des systèmes (LAAS)
CNRS : UPR8001 – Université Paul Sabatier [UPS] - Toulouse III – Institut National Polytechnique de Toulouse - INPT – Institut National des Sciences Appliquées (INSA) - Toulouse
2 : Réseaux Hétérogènes Informatiques Normalisés (RHIN)
ADI
3 : Centre national d'études des télécommunications (CNET)
Ministère des télécommunications
4 : LA ou URA 227 - INRIA Rennes (IRISA)
URA 227

inria-00075959, version 1
http://hal.inria.fr/inria-00075959
oai:hal.inria.fr:inria-00075959
Contributeur : Rapport De Recherche Inria <>
Soumis le : Mercredi 24 Mai 2006, 19:41:08
Dernière modification le : Lundi 11 Décembre 2006, 14:03:47

Voir la fiche détaillée

Documents associés

PS :

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Rapports</head>
<biblStruct type="report" xml:id="inria-00075959"><monogr>
<author><persName><forename>Jean-Pierre</forename><surname>Courtiat</surname></persName>
<affiliation>
<orgName type="laboratory">LAAS</orgName>
<orgName type="team">Laboratoire d'analyse et d'architecture des systèmes</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UPR8001</orgName>
<orgName type="institution">Université Paul Sabatier [UPS] - Toulouse III</orgName>
<orgName type="institution">Institut National Polytechnique de Toulouse - INPT</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Toulouse</orgName>
</affiliation>
</author>
<author><persName><forename>Piotr</forename><surname>Dembinski</surname></persName>
<affiliation>
<orgName type="laboratory">RHIN</orgName>
<orgName type="team">Réseaux Hétérogènes Informatiques Normalisés</orgName>
<country>FR</country>
<orgName type="institution">ADI</orgName>
</affiliation>
</author>
<author><persName><forename>Roland</forename><surname>Groz</surname></persName>
<affiliation>
<orgName type="laboratory">CNET</orgName>
<orgName type="team">Centre national d'études des télécommunications</orgName>
<country>FR</country>
<orgName type="institution">Ministère des télécommunications</orgName>
</affiliation>
</author>
<author><persName><forename>Claude</forename><surname>Jard</surname></persName>
<affiliation>
<orgName type="laboratory">CNET</orgName>
<orgName type="team">Centre national d'études des télécommunications</orgName>
<country>FR</country>
<orgName type="institution">Ministère des télécommunications</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">IRISA</orgName>
<orgName type="team">LA ou URA 227 - INRIA Rennes</orgName>
<country>FR</country>
<orgName type="institution">URA 227</orgName>
</affiliation>
</author>
<title type="main" level="m">ESTELLE:un langage ISO pour les algorithmes distribués et les protocoles</title><title type="main" level="m">ESTELLE:un langage ISO pour les algorithmes distribués et les protocoles</title><imprint><biblScope type="publicationDate">1986-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00075959</idno><idno type="HALFile">http://hal.inria.fr/inria-00075959/PDF/RR-0595.pdf</idno></biblStruct>
</listBibl>
</listBibl>