FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109805557> ?p ?o ?g. }

• W2109805557 endingPage "1177" @default.
• W2109805557 startingPage "1134" @default.
• W2109805557 abstract "Readiness and failure semantics are studied in the setting of Algebra of Communicating Processes (ACP). A model of process graphs modulo readiness equivalence, respectively, failure equivalence, is constructed, and an equational axiom system is presented which is complete for this graph model. An explicit representation of the graph model is given, the failure model, whose elements are failure sets. Furthermore, a characterisation of failure equivalence is obtained as the maximal congruence which is consistent with trace semantics. By suitably restricting the communication format in ACP, this result is shown to carry over to subsets of Hoare’s Communicating Sequential Processes (CSP) and Milner’s Calculus of Communicating Systems (CCS). Also, the characterisation implies a full abstraction result for the failure model. In the above we restrict ourselves to finite processes without $tau $-steps. At the end of the paper a comment is made on the situation for infinite processes with $tau $-steps: notably we obtain that failure semantics is incompatible with Koomen’s fair abstraction rule, a proof principle based on the notion of bisimulation. This is remarkable because a weaker version of Koomen’s fair abstraction rule is consistent with (finite) failure semantics." @default.
• W2109805557 created "2016-06-24" @default.
• W2109805557 creator A5013710541 @default.
• W2109805557 creator A5032380170 @default.
• W2109805557 creator A5045074162 @default.
• W2109805557 date "1988-12-01" @default.
• W2109805557 modified "2023-09-27" @default.
• W2109805557 title "Readies and Failures in the Algebra of Communicating Processes" @default.
• W2109805557 cites W1539804543 @default.
• W2109805557 cites W1547409410 @default.
• W2109805557 cites W1972478730 @default.
• W2109805557 cites W2001748564 @default.
• W2109805557 cites W2007270285 @default.
• W2109805557 cites W2032185072 @default.
• W2109805557 cites W2039112578 @default.
• W2109805557 cites W2094235252 @default.
• W2109805557 cites W2102097307 @default.
• W2109805557 cites W2106934908 @default.
• W2109805557 cites W2137865376 @default.
• W2109805557 cites W2157144873 @default.
• W2109805557 cites W2158942489 @default.
• W2109805557 cites W2913316578 @default.
• W2109805557 cites W4211008702 @default.
• W2109805557 doi "https://doi.org/10.1137/0217073" @default.
• W2109805557 hasPublicationYear "1988" @default.
• W2109805557 type Work @default.
• W2109805557 sameAs 2109805557 @default.
• W2109805557 citedByCount "52" @default.
• W2109805557 countsByYear W21098055572021 @default.
• W2109805557 crossrefType "journal-article" @default.
• W2109805557 hasAuthorship W2109805557A5013710541 @default.
• W2109805557 hasAuthorship W2109805557A5032380170 @default.
• W2109805557 hasAuthorship W2109805557A5045074162 @default.
• W2109805557 hasBestOaLocation W21098055572 @default.
• W2109805557 hasConcept C111472728 @default.
• W2109805557 hasConcept C118615104 @default.
• W2109805557 hasConcept C124304363 @default.
• W2109805557 hasConcept C132074034 @default.
• W2109805557 hasConcept C132525143 @default.
• W2109805557 hasConcept C135315306 @default.
• W2109805557 hasConcept C136119220 @default.
• W2109805557 hasConcept C138885662 @default.
• W2109805557 hasConcept C155214134 @default.
• W2109805557 hasConcept C156325763 @default.
• W2109805557 hasConcept C161771561 @default.
• W2109805557 hasConcept C167729594 @default.
• W2109805557 hasConcept C184337299 @default.
• W2109805557 hasConcept C199360897 @default.
• W2109805557 hasConcept C202444582 @default.
• W2109805557 hasConcept C2524010 @default.
• W2109805557 hasConcept C2780069185 @default.
• W2109805557 hasConcept C33923547 @default.
• W2109805557 hasConcept C41008148 @default.
• W2109805557 hasConcept C54732982 @default.
• W2109805557 hasConcept C80444323 @default.
• W2109805557 hasConceptScore W2109805557C111472728 @default.
• W2109805557 hasConceptScore W2109805557C118615104 @default.
• W2109805557 hasConceptScore W2109805557C124304363 @default.
• W2109805557 hasConceptScore W2109805557C132074034 @default.
• W2109805557 hasConceptScore W2109805557C132525143 @default.
• W2109805557 hasConceptScore W2109805557C135315306 @default.
• W2109805557 hasConceptScore W2109805557C136119220 @default.
• W2109805557 hasConceptScore W2109805557C138885662 @default.
• W2109805557 hasConceptScore W2109805557C155214134 @default.
• W2109805557 hasConceptScore W2109805557C156325763 @default.
• W2109805557 hasConceptScore W2109805557C161771561 @default.
• W2109805557 hasConceptScore W2109805557C167729594 @default.
• W2109805557 hasConceptScore W2109805557C184337299 @default.
• W2109805557 hasConceptScore W2109805557C199360897 @default.
• W2109805557 hasConceptScore W2109805557C202444582 @default.
• W2109805557 hasConceptScore W2109805557C2524010 @default.
• W2109805557 hasConceptScore W2109805557C2780069185 @default.
• W2109805557 hasConceptScore W2109805557C33923547 @default.
• W2109805557 hasConceptScore W2109805557C41008148 @default.
• W2109805557 hasConceptScore W2109805557C54732982 @default.
• W2109805557 hasConceptScore W2109805557C80444323 @default.
• W2109805557 hasIssue "6" @default.
• W2109805557 hasLocation W21098055571 @default.
• W2109805557 hasLocation W21098055572 @default.
• W2109805557 hasLocation W21098055573 @default.
• W2109805557 hasLocation W21098055574 @default.
• W2109805557 hasLocation W21098055575 @default.
• W2109805557 hasOpenAccess W2109805557 @default.
• W2109805557 hasPrimaryLocation W21098055571 @default.
• W2109805557 hasRelatedWork W1543496272 @default.
• W2109805557 hasRelatedWork W1578992643 @default.
• W2109805557 hasRelatedWork W2045352000 @default.
• W2109805557 hasRelatedWork W2116486164 @default.
• W2109805557 hasRelatedWork W2121936893 @default.
• W2109805557 hasRelatedWork W2135048208 @default.
• W2109805557 hasRelatedWork W2167838019 @default.
• W2109805557 hasRelatedWork W2807761056 @default.
• W2109805557 hasRelatedWork W2827307751 @default.
• W2109805557 hasRelatedWork W2951025822 @default.
• W2109805557 hasVolume "17" @default.
• W2109805557 isParatext "false" @default.
• W2109805557 isRetracted "false" @default.
• W2109805557 magId "2109805557" @default.

• next