Minimisation of event structures
نویسندگان
چکیده
Event structures are fundamental models in concurrency theory, providing a representation of events computation and their relations, notably concurrency, conflict causality. In this paper we present theory minimisation for event structures. Working class that generalises many stable structure the literature (e.g., prime, asymmetric, flow bundle structures), study notion behaviour-preserving quotient, referred to as folding, taking (hereditary) history-preserving bisimilarity reference behavioural equivalence. We show any folding producing uniquely determined minimal quotient always exists. observe each can be seen prime structure, all foldings between general arise from (suitably defined) corresponding This gives special relevance structures, which studied detail. identify conditions asymmetric also admit unique (while is not case various other models).
منابع مشابه
Context-Sensitive Event Occurrence Minimisation
When reasoning about an incompletely known narrative of events, it’s necessary to employ event occurrence minimisation in order to get the expected results from standard temporal projection techniques. However, a blanket default assumption that the known event occurrences are the only event occurrences is rarely legitimate. A finer grain of minimisation is required, which takes into account the...
متن کاملEvent Structures with Symmetry
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.
متن کاملHybrid Event Structures
We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete component which interact with each other via the usual enabling and connict relations. The continuous components behave like communicating sequential agents. The discrete component can be viewed as a prim...
متن کاملRandom Event Structures
In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as causal sets, bifinite domains, and countable partial orders. These constructions have been shown to produce objects with the desired properties with probability 1 in an appropriately defined measure space. A common strategy for th...
متن کاملEvent structures with persistence
Increasingly, the style of computation is changing. Instead of one machine running a program sequentially, we have systems with many individual agents running in parallel. The need for mathematical models of such computations is therefore ever greater. There are many models of concurrent computations. Such models can, for example, provide a semantics to process calculi and thereby suggest behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2022
ISSN: ['1879-2294', '0304-3975']
DOI: https://doi.org/10.1016/j.tcs.2022.09.006