Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108128207> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2108128207 abstract "This research offers as its main contribution a complete treatment of equation solving within process algebra for equation systems of the following form: C/sub 1/(X) approximately P/sub 1/, . . ., C/sub n(X)/ approximately P/sub n/ where C/sub i/ are arbitrary contexts (i.e. derived operators) of some process algebra, P/sub i/ are arbitrary process (i.e. terms of the process algebra), approximately is the bisimulation equivalence, and X is the unknown process to be found (if possible). It is shown that the solution set to this equation may be characterized in terms of a distinctive modal transition system, and that a solution to the above equation systems may be readily extracted (when solutions exist) on this basis. In fact, the results have led to an implementation (in Prolog) of an automatic tool for solving equations in the finite-state case. >" @default.
- W2108128207 created "2016-06-24" @default.
- W2108128207 creator A5038097386 @default.
- W2108128207 creator A5069362159 @default.
- W2108128207 date "2002-12-04" @default.
- W2108128207 modified "2023-09-26" @default.
- W2108128207 title "Equation solving using modal transition systems" @default.
- W2108128207 cites W1487199072 @default.
- W2108128207 cites W1492683468 @default.
- W2108128207 cites W1547562281 @default.
- W2108128207 cites W1662239198 @default.
- W2108128207 cites W1978469611 @default.
- W2108128207 cites W2001748564 @default.
- W2108128207 cites W2048355938 @default.
- W2108128207 cites W2070157304 @default.
- W2108128207 cites W2106301386 @default.
- W2108128207 cites W2137865376 @default.
- W2108128207 cites W2148106163 @default.
- W2108128207 cites W2158942489 @default.
- W2108128207 cites W2167005186 @default.
- W2108128207 cites W2171536993 @default.
- W2108128207 cites W2914011863 @default.
- W2108128207 cites W4211008702 @default.
- W2108128207 cites W4237801927 @default.
- W2108128207 cites W84675887 @default.
- W2108128207 doi "https://doi.org/10.1109/lics.1990.113738" @default.
- W2108128207 hasPublicationYear "2002" @default.
- W2108128207 type Work @default.
- W2108128207 sameAs 2108128207 @default.
- W2108128207 citedByCount "116" @default.
- W2108128207 countsByYear W21081282072012 @default.
- W2108128207 countsByYear W21081282072013 @default.
- W2108128207 countsByYear W21081282072014 @default.
- W2108128207 countsByYear W21081282072015 @default.
- W2108128207 countsByYear W21081282072016 @default.
- W2108128207 countsByYear W21081282072017 @default.
- W2108128207 countsByYear W21081282072018 @default.
- W2108128207 countsByYear W21081282072019 @default.
- W2108128207 countsByYear W21081282072020 @default.
- W2108128207 countsByYear W21081282072021 @default.
- W2108128207 countsByYear W21081282072022 @default.
- W2108128207 crossrefType "proceedings-article" @default.
- W2108128207 hasAuthorship W2108128207A5038097386 @default.
- W2108128207 hasAuthorship W2108128207A5069362159 @default.
- W2108128207 hasConcept C111919701 @default.
- W2108128207 hasConcept C118615104 @default.
- W2108128207 hasConcept C135315306 @default.
- W2108128207 hasConcept C136119220 @default.
- W2108128207 hasConcept C161771561 @default.
- W2108128207 hasConcept C185592680 @default.
- W2108128207 hasConcept C188027245 @default.
- W2108128207 hasConcept C202444582 @default.
- W2108128207 hasConcept C2780069185 @default.
- W2108128207 hasConcept C28826006 @default.
- W2108128207 hasConcept C33923547 @default.
- W2108128207 hasConcept C41008148 @default.
- W2108128207 hasConcept C71139939 @default.
- W2108128207 hasConcept C80444323 @default.
- W2108128207 hasConcept C98045186 @default.
- W2108128207 hasConceptScore W2108128207C111919701 @default.
- W2108128207 hasConceptScore W2108128207C118615104 @default.
- W2108128207 hasConceptScore W2108128207C135315306 @default.
- W2108128207 hasConceptScore W2108128207C136119220 @default.
- W2108128207 hasConceptScore W2108128207C161771561 @default.
- W2108128207 hasConceptScore W2108128207C185592680 @default.
- W2108128207 hasConceptScore W2108128207C188027245 @default.
- W2108128207 hasConceptScore W2108128207C202444582 @default.
- W2108128207 hasConceptScore W2108128207C2780069185 @default.
- W2108128207 hasConceptScore W2108128207C28826006 @default.
- W2108128207 hasConceptScore W2108128207C33923547 @default.
- W2108128207 hasConceptScore W2108128207C41008148 @default.
- W2108128207 hasConceptScore W2108128207C71139939 @default.
- W2108128207 hasConceptScore W2108128207C80444323 @default.
- W2108128207 hasConceptScore W2108128207C98045186 @default.
- W2108128207 hasLocation W21081282071 @default.
- W2108128207 hasOpenAccess W2108128207 @default.
- W2108128207 hasPrimaryLocation W21081282071 @default.
- W2108128207 hasRelatedWork W1988833093 @default.
- W2108128207 hasRelatedWork W2062964969 @default.
- W2108128207 hasRelatedWork W2761353030 @default.
- W2108128207 hasRelatedWork W2982299143 @default.
- W2108128207 hasRelatedWork W3049547150 @default.
- W2108128207 hasRelatedWork W3081278515 @default.
- W2108128207 hasRelatedWork W3126296235 @default.
- W2108128207 hasRelatedWork W3146371923 @default.
- W2108128207 hasRelatedWork W3193445231 @default.
- W2108128207 hasRelatedWork W4200197691 @default.
- W2108128207 isParatext "false" @default.
- W2108128207 isRetracted "false" @default.
- W2108128207 magId "2108128207" @default.
- W2108128207 workType "article" @default.