Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214720261> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4214720261 endingPage "387" @default.
- W4214720261 startingPage "373" @default.
- W4214720261 abstract "A formulation of semantic theories for processes which is based on reduction relation and equational reasoning is studied. The new construction can induce meaningful theories for processes, both in strong and weak settings. The resulting theories in many cases coincide with, and sometimes generalise, observation-based formulation of behavioural equivalence. The basic construction of reduction-based theories is studied, taking a simple name passing calculus called v-calculus as an example. Results on other calculi are also briefly discussed." @default.
- W4214720261 created "2022-03-02" @default.
- W4214720261 creator A5012191491 @default.
- W4214720261 creator A5054171989 @default.
- W4214720261 date "1993-01-01" @default.
- W4214720261 modified "2023-09-26" @default.
- W4214720261 title "On reduction-based process semantics" @default.
- W4214720261 cites W1523525039 @default.
- W4214720261 cites W1561085604 @default.
- W4214720261 cites W1584334623 @default.
- W4214720261 cites W1591694044 @default.
- W4214720261 cites W1789824541 @default.
- W4214720261 cites W2016872951 @default.
- W4214720261 cites W2028613837 @default.
- W4214720261 cites W2070032247 @default.
- W4214720261 cites W2094935854 @default.
- W4214720261 cites W2137865376 @default.
- W4214720261 cites W2157144873 @default.
- W4214720261 cites W2914597273 @default.
- W4214720261 doi "https://doi.org/10.1007/3-540-57529-4_70" @default.
- W4214720261 hasPublicationYear "1993" @default.
- W4214720261 type Work @default.
- W4214720261 citedByCount "5" @default.
- W4214720261 countsByYear W42147202612016 @default.
- W4214720261 crossrefType "book-chapter" @default.
- W4214720261 hasAuthorship W4214720261A5012191491 @default.
- W4214720261 hasAuthorship W4214720261A5054171989 @default.
- W4214720261 hasBestOaLocation W42147202612 @default.
- W4214720261 hasConcept C111335779 @default.
- W4214720261 hasConcept C111472728 @default.
- W4214720261 hasConcept C118615104 @default.
- W4214720261 hasConcept C124101348 @default.
- W4214720261 hasConcept C136119220 @default.
- W4214720261 hasConcept C138885662 @default.
- W4214720261 hasConcept C156103551 @default.
- W4214720261 hasConcept C156325763 @default.
- W4214720261 hasConcept C161771561 @default.
- W4214720261 hasConcept C184337299 @default.
- W4214720261 hasConcept C199343813 @default.
- W4214720261 hasConcept C199360897 @default.
- W4214720261 hasConcept C202444582 @default.
- W4214720261 hasConcept C2524010 @default.
- W4214720261 hasConcept C25343380 @default.
- W4214720261 hasConcept C2777686260 @default.
- W4214720261 hasConcept C2780069185 @default.
- W4214720261 hasConcept C2780586882 @default.
- W4214720261 hasConcept C33923547 @default.
- W4214720261 hasConcept C41008148 @default.
- W4214720261 hasConcept C71924100 @default.
- W4214720261 hasConcept C80444323 @default.
- W4214720261 hasConcept C98045186 @default.
- W4214720261 hasConceptScore W4214720261C111335779 @default.
- W4214720261 hasConceptScore W4214720261C111472728 @default.
- W4214720261 hasConceptScore W4214720261C118615104 @default.
- W4214720261 hasConceptScore W4214720261C124101348 @default.
- W4214720261 hasConceptScore W4214720261C136119220 @default.
- W4214720261 hasConceptScore W4214720261C138885662 @default.
- W4214720261 hasConceptScore W4214720261C156103551 @default.
- W4214720261 hasConceptScore W4214720261C156325763 @default.
- W4214720261 hasConceptScore W4214720261C161771561 @default.
- W4214720261 hasConceptScore W4214720261C184337299 @default.
- W4214720261 hasConceptScore W4214720261C199343813 @default.
- W4214720261 hasConceptScore W4214720261C199360897 @default.
- W4214720261 hasConceptScore W4214720261C202444582 @default.
- W4214720261 hasConceptScore W4214720261C2524010 @default.
- W4214720261 hasConceptScore W4214720261C25343380 @default.
- W4214720261 hasConceptScore W4214720261C2777686260 @default.
- W4214720261 hasConceptScore W4214720261C2780069185 @default.
- W4214720261 hasConceptScore W4214720261C2780586882 @default.
- W4214720261 hasConceptScore W4214720261C33923547 @default.
- W4214720261 hasConceptScore W4214720261C41008148 @default.
- W4214720261 hasConceptScore W4214720261C71924100 @default.
- W4214720261 hasConceptScore W4214720261C80444323 @default.
- W4214720261 hasConceptScore W4214720261C98045186 @default.
- W4214720261 hasLocation W42147202611 @default.
- W4214720261 hasLocation W42147202612 @default.
- W4214720261 hasLocation W42147202613 @default.
- W4214720261 hasOpenAccess W4214720261 @default.
- W4214720261 hasPrimaryLocation W42147202611 @default.
- W4214720261 hasRelatedWork W1491066674 @default.
- W4214720261 hasRelatedWork W1553580152 @default.
- W4214720261 hasRelatedWork W1577890819 @default.
- W4214720261 hasRelatedWork W1626323918 @default.
- W4214720261 hasRelatedWork W2039219985 @default.
- W4214720261 hasRelatedWork W2069441293 @default.
- W4214720261 hasRelatedWork W2081186791 @default.
- W4214720261 hasRelatedWork W2090686886 @default.
- W4214720261 hasRelatedWork W2135048208 @default.
- W4214720261 hasRelatedWork W27605384 @default.
- W4214720261 isParatext "false" @default.
- W4214720261 isRetracted "false" @default.
- W4214720261 workType "book-chapter" @default.