Some Concurrency Models in a Categorical Framework

The paper defines 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 different perception. According to the chosen model, only part of these notions are, indeed, relevant and recoverable from the observation of a concurrent system