Géométrie du Parallélisme (1995)
| Citations: | 3 - 0 self |
BibTeX
@MISC{Goubault95géométriedu,
author = {Eric Goubault and Gerard Berry Examinateur and Patrick Cousot Directeur De Th`ese},
title = {Géométrie du Parallélisme},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Models for Concurrency 39 1 Models for concurrency 41 1.1 A few transition systems : : : : : : : : : : : : : : : : : : : : : : : 42 1.1.1 Ordinary transition systems : : : : : : : : : : : : : : : : : 42 1.1.2 Asynchronous transition systems : : : : : : : : : : : : : : 46 1.1.3 Trace automata : : : : : : : : : : : : : : : : : : : : : : : : 47 1.1.4 Concurrent transition systems : : : : : : : : : : : : : : : : 49 1.1.5 Transition systems with independence : : : : : : : : : : : 50 1.1.6 Petri nets : : : : : : : : : : : : : : : : : : : : : : : : : : : 51 1.2 Behavioural models : : : : : : : : : : : : : : : : : : : : : : : : : : 53 1.2.1 Event structures : : : : : : : : : : : : : : : : : : : : : : : 53 1.2.2 Mazurkiewitz traces : : : : : : : : : : : : : : : : : : : : : 57 1.3 A few examples of process algebras and of their semantics : : : : 59 1.3.1 CCS : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 59 1.3.2 Communicating Sequential Processes : : : : : : : : : : : : 63 1.3.3 ...
