A functorial semantics for observed concurrency
D Murphy, A Poigné - … on Mathematical Foundations of Computer Science, 1992 - Springer
D Murphy, A Poigné
International Symposium on Mathematical Foundations of Computer Science, 1992•SpringerThis paper presents a meta-model of observation in concurrency theory; it allows us to unify
notions of observation in many different behavioural settings. We treat traces, process trees
and event structures, and show how observations of them fit into a common framework.
Behaviour and observation will both be modeled as categories and lined using the notions
of 'functor'and 'adjunction'. Timing will be our chief example of observation; we present a
timed traces model, and hint how it generalises to timed process trees (branching time) and …
notions of observation in many different behavioural settings. We treat traces, process trees
and event structures, and show how observations of them fit into a common framework.
Behaviour and observation will both be modeled as categories and lined using the notions
of 'functor'and 'adjunction'. Timing will be our chief example of observation; we present a
timed traces model, and hint how it generalises to timed process trees (branching time) and …
Abstract
This paper presents a meta-model of observation in concurrency theory; it allows us to unify notions of observation in many different behavioural settings. We treat traces, process trees and event structures, and show how observations of them fit into a common framework. Behaviour and observation will both be modeled as categories and lined using the notions of ‘functor’ and ‘adjunction’.
Timing will be our chief example of observation; we present a timed traces model, and hint how it generalises to timed process trees (branching time) and timed ‘true concurrency.’ The general setup sees timing as a way of embedding observations into time; we propose stable categories of embeddings as natural metamodels of timed observation.
Springer
Showing the best result for this search. See all results