Some Concurrency Models in a Categorical Framework Extended Abstract

The paper deenes a taxonomy of concurrent models. Concurrent models are seen as categories and passages between models as functors. We particularly care about the notions of concurrency, causal and temporal dependencies and their possible diierent perception. According to the chosen model, only part of these notions are, indeed, relevant and recoverable from the observation of a concurrent system.