 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00695056, version 1 |
| Detailed view |  Export this paper |
 |
| Geometric and Topological Methods in Computer Science 2010, Aalborg : Danemark (2010) |
|
|
|
|
| About Higher Dimensional Transition Systems |
|
|
| Philippe Gaucher 1 |
|
|
| (2010-01-11) |
|
|
|
| I introduce the category of weak higher dimensional transition systems which contains the Cattani-Sassone ones as a small-orthogonality class. I will explain its categorical and homotopical properties, and the links with process algebras, bisimulation, and the topological models of concurrency. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Combinatorics Mathematics/Algebraic Topology Computer Science/Distributed, Parallel, and Cluster Computing |
| hal-00695056, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00695056 | |
| oai:hal.archives-ouvertes.fr:hal-00695056 | |
| From: Philippe Gaucher | |
| Submitted on: Monday, 7 May 2012 15:05:09 | |
| Updated on: Monday, 7 May 2012 15:05:09 | |
