Bisimulation and cocongruence for probabilistic systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2006

Bisimulation and cocongruence for probabilistic systems

Vincent Danos
Preuves, Programmes et Systèmes
Josée Desharnais
  • Fonction : Auteur
François Laviolette
  • Fonction : Auteur
Prakash Panangaden
  • Fonction : Auteur

Vincent Danos  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00155306

Soumis le : lundi 18 juin 2007-05:23:57

Dernière modification le : vendredi 24 mars 2023-14:52:49

Fichier non déposé

Dates et versions

hal-00155306 , version 1 (18-06-2007)

Identifiants

  • HAL Id : hal-00155306 , version 1

Citer

Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden. Bisimulation and cocongruence for probabilistic systems. Information and Computation, 2006, 204 (4), pp.503--523. ⟨hal-00155306⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More