Matches in SemOpenAlex for { <https://semopenalex.org/work/W2994004239> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2994004239 abstract "Abstract A basic sanity property of a process semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by developing, for a specific process semantics, a syntactic format for operational semantics specifications. We suggest a novel, orthogonal approach, which focuses on a specific process operator and determines a class of congruence relations for this operator. To this end, we impose syntactic restrictions on Hennessy–Milner logic, so that a process semantics whose modal characterization satisfies those criteria is guaranteed to be a congruence with respect to the operator in question. We investigate alternative composition, action prefix, projection, encapsulation, renaming, and parallel composition with communication, in the context of both concrete and weak process semantics." @default.
- W2994004239 created "2019-12-13" @default.
- W2994004239 creator A5026377036 @default.
- W2994004239 creator A5057040613 @default.
- W2994004239 creator A5078610814 @default.
- W2994004239 date "2019-12-02" @default.
- W2994004239 modified "2023-09-24" @default.
- W2994004239 title "Congruence from the operator’s point of view" @default.
- W2994004239 cites W1978469611 @default.
- W2994004239 cites W1999706742 @default.
- W2994004239 cites W2042676555 @default.
- W2994004239 cites W2095082129 @default.
- W2994004239 cites W2098981343 @default.
- W2994004239 cites W2106934908 @default.
- W2994004239 cites W2112320167 @default.
- W2994004239 cites W2116862465 @default.
- W2994004239 cites W2136133653 @default.
- W2994004239 cites W2154695063 @default.
- W2994004239 cites W2158942489 @default.
- W2994004239 cites W2950922359 @default.
- W2994004239 cites W2951941594 @default.
- W2994004239 cites W4211144022 @default.
- W2994004239 cites W4211195649 @default.
- W2994004239 doi "https://doi.org/10.1007/s00236-019-00355-5" @default.
- W2994004239 hasPublicationYear "2019" @default.
- W2994004239 type Work @default.
- W2994004239 sameAs 2994004239 @default.
- W2994004239 citedByCount "5" @default.
- W2994004239 countsByYear W29940042392020 @default.
- W2994004239 countsByYear W29940042392021 @default.
- W2994004239 countsByYear W29940042392022 @default.
- W2994004239 crossrefType "journal-article" @default.
- W2994004239 hasAuthorship W2994004239A5026377036 @default.
- W2994004239 hasAuthorship W2994004239A5057040613 @default.
- W2994004239 hasAuthorship W2994004239A5078610814 @default.
- W2994004239 hasBestOaLocation W29940042391 @default.
- W2994004239 hasConcept C104317684 @default.
- W2994004239 hasConcept C132074034 @default.
- W2994004239 hasConcept C136119220 @default.
- W2994004239 hasConcept C150607116 @default.
- W2994004239 hasConcept C156325763 @default.
- W2994004239 hasConcept C158448853 @default.
- W2994004239 hasConcept C161771561 @default.
- W2994004239 hasConcept C17020691 @default.
- W2994004239 hasConcept C184337299 @default.
- W2994004239 hasConcept C185592680 @default.
- W2994004239 hasConcept C193702766 @default.
- W2994004239 hasConcept C199360897 @default.
- W2994004239 hasConcept C202444582 @default.
- W2994004239 hasConcept C207648694 @default.
- W2994004239 hasConcept C24858836 @default.
- W2994004239 hasConcept C2524010 @default.
- W2994004239 hasConcept C33923547 @default.
- W2994004239 hasConcept C41008148 @default.
- W2994004239 hasConcept C55493867 @default.
- W2994004239 hasConcept C80444323 @default.
- W2994004239 hasConcept C86339819 @default.
- W2994004239 hasConcept C89497691 @default.
- W2994004239 hasConceptScore W2994004239C104317684 @default.
- W2994004239 hasConceptScore W2994004239C132074034 @default.
- W2994004239 hasConceptScore W2994004239C136119220 @default.
- W2994004239 hasConceptScore W2994004239C150607116 @default.
- W2994004239 hasConceptScore W2994004239C156325763 @default.
- W2994004239 hasConceptScore W2994004239C158448853 @default.
- W2994004239 hasConceptScore W2994004239C161771561 @default.
- W2994004239 hasConceptScore W2994004239C17020691 @default.
- W2994004239 hasConceptScore W2994004239C184337299 @default.
- W2994004239 hasConceptScore W2994004239C185592680 @default.
- W2994004239 hasConceptScore W2994004239C193702766 @default.
- W2994004239 hasConceptScore W2994004239C199360897 @default.
- W2994004239 hasConceptScore W2994004239C202444582 @default.
- W2994004239 hasConceptScore W2994004239C207648694 @default.
- W2994004239 hasConceptScore W2994004239C24858836 @default.
- W2994004239 hasConceptScore W2994004239C2524010 @default.
- W2994004239 hasConceptScore W2994004239C33923547 @default.
- W2994004239 hasConceptScore W2994004239C41008148 @default.
- W2994004239 hasConceptScore W2994004239C55493867 @default.
- W2994004239 hasConceptScore W2994004239C80444323 @default.
- W2994004239 hasConceptScore W2994004239C86339819 @default.
- W2994004239 hasConceptScore W2994004239C89497691 @default.
- W2994004239 hasFunder F4320321014 @default.
- W2994004239 hasLocation W29940042391 @default.
- W2994004239 hasOpenAccess W2994004239 @default.
- W2994004239 hasPrimaryLocation W29940042391 @default.
- W2994004239 hasRelatedWork W10111591 @default.
- W2994004239 hasRelatedWork W10995172 @default.
- W2994004239 hasRelatedWork W11885555 @default.
- W2994004239 hasRelatedWork W12158859 @default.
- W2994004239 hasRelatedWork W2870196 @default.
- W2994004239 hasRelatedWork W3157107 @default.
- W2994004239 hasRelatedWork W4979087 @default.
- W2994004239 hasRelatedWork W5409819 @default.
- W2994004239 hasRelatedWork W638524 @default.
- W2994004239 hasRelatedWork W7030020 @default.
- W2994004239 isParatext "false" @default.
- W2994004239 isRetracted "false" @default.
- W2994004239 magId "2994004239" @default.
- W2994004239 workType "article" @default.