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.
Kasangian, S., Labella, A., Pettorossi, A. (1990). Observers, experiments, and agents: a comprehensive approach to parallelism. In Semantics of systems of concurrent processes: LITP Spring School on theoretical computer science: La Roche Posay, France, April 23–27, 1990: proceedings (pp.375-406). Springer [10.1007/3-540-53479-2_16].
Observers, experiments, and agents: a comprehensive approach to parallelism
PETTOROSSI, ALBERTO
1990-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
