 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00155306, version 1 |
| Detailed view |  Export this paper |
 |
| Information and Computation 204, 4 (2006) 503--523 |
|
|
|
|
| Bisimulation and cocongruence for probabilistic systems |
|
|
| Vincent Danos 1Josée Desharnais |
|
|
| (2006-04-01) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| hal-00155306, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00155306 | |
| oai:hal.archives-ouvertes.fr:hal-00155306 | |
| From: Vincent Danos | |
| Submitted on: Monday, 18 June 2007 05:23:57 | |
| Updated on: Monday, 18 June 2007 05:23:57 | |
