 |
Institut de recherche en informatique et systèmes aléatoires |  |
|
Institut de recherche en informatique et systèmes aléatoires | |
| HAL : inria-00075921, version 1 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
 |
|
|
| Proof systems for infinite behaviours |
|
|
| Philippe Darondeau 1Serge Yoccoz 2 |
|
|
| (1987) |
|
|
|
| Disponible dans les fichiers attachés à ce document |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Semantique du parallelisme (INRIA - IRISA) |
|
|
|
CNRS : LA227 – Institut National des Sciences Appliquées (INSA) - Rennes – INRIA – Université de Rennes 1 |
|
|
| 2 : | UER Mathématiques et Informatique |
|
|
|
Université Sciences et Technologies - Bordeaux I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| inria-00075921, version 1 | |
| http://hal.inria.fr/inria-00075921 | |
| oai:hal.inria.fr:inria-00075921 | |
| Contributeur : Rapport De Recherche Inria | |
| Soumis le : Mercredi 24 Mai 2006, 19:36:26 | |
| Dernière modification le : Lundi 18 Avril 2011, 09:40:38 | |
