Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997839643> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2997839643 abstract "Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causality. In this paper we present a theory of minimisation for event structures. Working in a class of event structures that generalises many stable event structure models in the literature (e.g., prime, asymmetric, flow and bundle event structures), we study a notion of behaviour-preserving quotient, referred to as a folding, taking (hereditary) history preserving bisimilarity as a reference behavioural equivalence. We show that for any event structure a folding producing a uniquely determined minimal quotient always exists. We observe that each event structure can be seen as the folding of a prime event structure, and that all foldings between general event structures arise from foldings of (suitably defined) corresponding prime event structures. This gives a special relevance to foldings in the class of prime event structures, which are studied in detail. We identify folding conditions for prime and asymmetric event structures, and show that also prime event structures always admit a unique minimal quotient (while this is not the case for various other event structure models)." @default.
- W2997839643 created "2020-01-10" @default.
- W2997839643 creator A5015243193 @default.
- W2997839643 creator A5031056947 @default.
- W2997839643 date "2019-01-01" @default.
- W2997839643 modified "2023-10-04" @default.
- W2997839643 title "Minimisation of Event Structures." @default.
- W2997839643 hasPublicationYear "2019" @default.
- W2997839643 type Work @default.
- W2997839643 sameAs 2997839643 @default.
- W2997839643 citedByCount "0" @default.
- W2997839643 crossrefType "proceedings-article" @default.
- W2997839643 hasAuthorship W2997839643A5015243193 @default.
- W2997839643 hasAuthorship W2997839643A5031056947 @default.
- W2997839643 hasConcept C105795698 @default.
- W2997839643 hasConcept C114614502 @default.
- W2997839643 hasConcept C120314980 @default.
- W2997839643 hasConcept C121332964 @default.
- W2997839643 hasConcept C184992742 @default.
- W2997839643 hasConcept C193702766 @default.
- W2997839643 hasConcept C199422724 @default.
- W2997839643 hasConcept C202444582 @default.
- W2997839643 hasConcept C2777810175 @default.
- W2997839643 hasConcept C2779662365 @default.
- W2997839643 hasConcept C33923547 @default.
- W2997839643 hasConcept C41008148 @default.
- W2997839643 hasConcept C62520636 @default.
- W2997839643 hasConcept C80444323 @default.
- W2997839643 hasConceptScore W2997839643C105795698 @default.
- W2997839643 hasConceptScore W2997839643C114614502 @default.
- W2997839643 hasConceptScore W2997839643C120314980 @default.
- W2997839643 hasConceptScore W2997839643C121332964 @default.
- W2997839643 hasConceptScore W2997839643C184992742 @default.
- W2997839643 hasConceptScore W2997839643C193702766 @default.
- W2997839643 hasConceptScore W2997839643C199422724 @default.
- W2997839643 hasConceptScore W2997839643C202444582 @default.
- W2997839643 hasConceptScore W2997839643C2777810175 @default.
- W2997839643 hasConceptScore W2997839643C2779662365 @default.
- W2997839643 hasConceptScore W2997839643C33923547 @default.
- W2997839643 hasConceptScore W2997839643C41008148 @default.
- W2997839643 hasConceptScore W2997839643C62520636 @default.
- W2997839643 hasConceptScore W2997839643C80444323 @default.
- W2997839643 hasLocation W29978396431 @default.
- W2997839643 hasOpenAccess W2997839643 @default.
- W2997839643 hasPrimaryLocation W29978396431 @default.
- W2997839643 hasRelatedWork W1492811398 @default.
- W2997839643 hasRelatedWork W1524079224 @default.
- W2997839643 hasRelatedWork W1536524621 @default.
- W2997839643 hasRelatedWork W1565940914 @default.
- W2997839643 hasRelatedWork W1653845989 @default.
- W2997839643 hasRelatedWork W1671177328 @default.
- W2997839643 hasRelatedWork W2009748718 @default.
- W2997839643 hasRelatedWork W2088537505 @default.
- W2997839643 hasRelatedWork W2090845072 @default.
- W2997839643 hasRelatedWork W2105074712 @default.
- W2997839643 hasRelatedWork W2611849230 @default.
- W2997839643 hasRelatedWork W2761051840 @default.
- W2997839643 hasRelatedWork W2900346622 @default.
- W2997839643 hasRelatedWork W2937533000 @default.
- W2997839643 hasRelatedWork W2949544980 @default.
- W2997839643 hasRelatedWork W2951711237 @default.
- W2997839643 hasRelatedWork W2996594980 @default.
- W2997839643 hasRelatedWork W3009149161 @default.
- W2997839643 hasRelatedWork W3125333547 @default.
- W2997839643 hasRelatedWork W3202258110 @default.
- W2997839643 isParatext "false" @default.
- W2997839643 isRetracted "false" @default.
- W2997839643 magId "2997839643" @default.
- W2997839643 workType "article" @default.