Observers, experiments, and agents: a comprehensive approach to parallelism

The aim of this paper is to introduce an enriched categorical approach which provides a unifying theory for many notions of parallelism and concurrency. Our constructions are based on a concept of observational equivalence induced by a set of observers which perform experiments over agents. The outcome of those experiments is a set of computations together with an agreement information. This comprehensive framework is parametric with respect to the nature of the observers which may observe totally or partially ordered set of actions in a discrete or continuous manner