Calculs de processus: observations et inspections - TEL - Thèses en ligne
Hdr Année : 2009

Process calculi: observations, inspections

Calculs de processus: observations et inspections

Daniel Hirschkoff
Laboratoire de l'Informatique du Parallélisme

Résumé

Le document traite du raisonnement sur les processus. Les chapitres principaux sont: - Équivalences comportementales : caractérisation logique, axiomatisation et congruence - Inspections et équivalences intensionnelles - Calculs avec localités

Domaines

Logique en informatique [cs.LO] Calcul parallèle, distribué et partagé [cs.DC]
Fichier principal
Vignette du fichier
garde-hdrdh.pdf (547.6 Ko) Télécharger le fichier

Daniel Hirschkoff  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-01002493

Soumis le : vendredi 6 juin 2014-11:54:11

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : samedi 6 septembre 2014-11:45:59

Télécharger pour visualiser

Dates et versions

tel-01002493 , version 1 (06-06-2014)

Identifiants

  • HAL Id : tel-01002493 , version 1

Citer

Daniel Hirschkoff. Calculs de processus: observations et inspections. Logique en informatique [cs.LO]. Ecole normale supérieure de lyon - ENS LYON, 2009. ⟨tel-01002493⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP LIP_PLUME UDL
256 Consultations
451 Téléchargements

Partager

More