Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942822869> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2942822869 abstract "A concurrent history represented by a causality structure that captures the intrinsic, invariant dependencies between its actions, can be interpreted as defining a set of closely related observations e.g., step sequences. Depending on the relationships observed in the histories of a system, the concurrency paradigm to which it adheres may be identified, with different concurrency paradigms underpinned by different kinds of causality structures. Elementary net systems with inhibitor arcs and mutex arcs ENIM-systems are a system model that through its process semantics and associated causality structures fits the least restrictive concurrency paradigm. One can also investigate the abstract behaviour of an ENIM-system by grouping together step sequences in equivalence classes generalised comtraces using the structural relations between its transitions. The resulting concurrent histories of the ENIM-system are consistent with the generalised stratified order structures underlying its processes. The paper establishes a link between ENIM-systems and trace theory allowing one to discuss different observations of concurrent behaviour in a way that is consistent with the causality semantics defined by the operationally defined processes." @default.
- W2942822869 created "2019-05-09" @default.
- W2942822869 creator A5014564304 @default.
- W2942822869 creator A5042490356 @default.
- W2942822869 date "2011-01-01" @default.
- W2942822869 modified "2023-09-26" @default.
- W2942822869 title "Mutex Causality in Processes and Traces of General Elementary Nets" @default.
- W2942822869 hasPublicationYear "2011" @default.
- W2942822869 type Work @default.
- W2942822869 sameAs 2942822869 @default.
- W2942822869 citedByCount "0" @default.
- W2942822869 crossrefType "journal-article" @default.
- W2942822869 hasAuthorship W2942822869A5014564304 @default.
- W2942822869 hasAuthorship W2942822869A5042490356 @default.
- W2942822869 hasConcept C121332964 @default.
- W2942822869 hasConcept C138885662 @default.
- W2942822869 hasConcept C184337299 @default.
- W2942822869 hasConcept C190470478 @default.
- W2942822869 hasConcept C193702766 @default.
- W2942822869 hasConcept C199360897 @default.
- W2942822869 hasConcept C202444582 @default.
- W2942822869 hasConcept C2780069185 @default.
- W2942822869 hasConcept C33923547 @default.
- W2942822869 hasConcept C37914503 @default.
- W2942822869 hasConcept C41008148 @default.
- W2942822869 hasConcept C41895202 @default.
- W2942822869 hasConcept C56348326 @default.
- W2942822869 hasConcept C62520636 @default.
- W2942822869 hasConcept C64357122 @default.
- W2942822869 hasConcept C75291252 @default.
- W2942822869 hasConcept C80444323 @default.
- W2942822869 hasConcept C95203288 @default.
- W2942822869 hasConceptScore W2942822869C121332964 @default.
- W2942822869 hasConceptScore W2942822869C138885662 @default.
- W2942822869 hasConceptScore W2942822869C184337299 @default.
- W2942822869 hasConceptScore W2942822869C190470478 @default.
- W2942822869 hasConceptScore W2942822869C193702766 @default.
- W2942822869 hasConceptScore W2942822869C199360897 @default.
- W2942822869 hasConceptScore W2942822869C202444582 @default.
- W2942822869 hasConceptScore W2942822869C2780069185 @default.
- W2942822869 hasConceptScore W2942822869C33923547 @default.
- W2942822869 hasConceptScore W2942822869C37914503 @default.
- W2942822869 hasConceptScore W2942822869C41008148 @default.
- W2942822869 hasConceptScore W2942822869C41895202 @default.
- W2942822869 hasConceptScore W2942822869C56348326 @default.
- W2942822869 hasConceptScore W2942822869C62520636 @default.
- W2942822869 hasConceptScore W2942822869C64357122 @default.
- W2942822869 hasConceptScore W2942822869C75291252 @default.
- W2942822869 hasConceptScore W2942822869C80444323 @default.
- W2942822869 hasConceptScore W2942822869C95203288 @default.
- W2942822869 hasLocation W29428228691 @default.
- W2942822869 hasOpenAccess W2942822869 @default.
- W2942822869 hasPrimaryLocation W29428228691 @default.
- W2942822869 hasRelatedWork W10870482 @default.
- W2942822869 hasRelatedWork W1489809596 @default.
- W2942822869 hasRelatedWork W1523124202 @default.
- W2942822869 hasRelatedWork W1530176506 @default.
- W2942822869 hasRelatedWork W1544072666 @default.
- W2942822869 hasRelatedWork W1574019160 @default.
- W2942822869 hasRelatedWork W1583119261 @default.
- W2942822869 hasRelatedWork W164669441 @default.
- W2942822869 hasRelatedWork W1990085921 @default.
- W2942822869 hasRelatedWork W2045294333 @default.
- W2942822869 hasRelatedWork W2059081032 @default.
- W2942822869 hasRelatedWork W2150146796 @default.
- W2942822869 hasRelatedWork W2162634163 @default.
- W2942822869 hasRelatedWork W2576183339 @default.
- W2942822869 hasRelatedWork W3039878505 @default.
- W2942822869 hasRelatedWork W3105346431 @default.
- W2942822869 hasRelatedWork W3124340447 @default.
- W2942822869 hasRelatedWork W3162601351 @default.
- W2942822869 hasRelatedWork W3183680575 @default.
- W2942822869 hasRelatedWork W94886992 @default.
- W2942822869 isParatext "false" @default.
- W2942822869 isRetracted "false" @default.
- W2942822869 magId "2942822869" @default.
- W2942822869 workType "article" @default.