FRINK Linked Data Fragments server

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

• W2181767744 abstract "This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak complete simulation and the weak ready simulation preorders. We present results on the (non)existence of finite (ground-)complete (in)equational axiomatizations for each of these behavioural semantics. The axiomatization of those semantics using conditional equations is also discussed in some de" @default.
• W2181767744 created "2016-06-24" @default.
• W2181767744 creator A5016540152 @default.
• W2181767744 creator A5041913577 @default.
• W2181767744 creator A5077617115 @default.
• W2181767744 date "2012-01-01" @default.
• W2181767744 modified "2023-09-27" @default.
• W2181767744 title "Axiomatizing Weak Simulations Semantics over BCCSP I" @default.
• W2181767744 cites W1503973138 @default.
• W2181767744 cites W1547562281 @default.
• W2181767744 cites W1560033971 @default.
• W2181767744 cites W1578325940 @default.
• W2181767744 cites W1594574791 @default.
• W2181767744 cites W1600867438 @default.
• W2181767744 cites W1626908232 @default.
• W2181767744 cites W1868341999 @default.
• W2181767744 cites W1966112122 @default.
• W2181767744 cites W1967381334 @default.
• W2181767744 cites W1972478730 @default.
• W2181767744 cites W1976268573 @default.
• W2181767744 cites W1978469611 @default.
• W2181767744 cites W1984568289 @default.
• W2181767744 cites W1985161650 @default.
• W2181767744 cites W1990440312 @default.
• W2181767744 cites W2007928509 @default.
• W2181767744 cites W2022258624 @default.
• W2181767744 cites W2022487277 @default.
• W2181767744 cites W2027519864 @default.
• W2181767744 cites W2028222735 @default.
• W2181767744 cites W2038305454 @default.
• W2181767744 cites W2077666692 @default.
• W2181767744 cites W2078105844 @default.
• W2181767744 cites W2078387921 @default.
• W2181767744 cites W2105135809 @default.
• W2181767744 cites W2108796478 @default.
• W2181767744 cites W2118229393 @default.
• W2181767744 cites W2133267148 @default.
• W2181767744 cites W2136920408 @default.
• W2181767744 cites W2137865376 @default.
• W2181767744 cites W2137908781 @default.
• W2181767744 cites W2147877669 @default.
• W2181767744 cites W2148973802 @default.
• W2181767744 cites W2157144873 @default.
• W2181767744 cites W2162844904 @default.
• W2181767744 cites W2164504930 @default.
• W2181767744 cites W2171648882 @default.
• W2181767744 cites W2189381394 @default.
• W2181767744 cites W3022732085 @default.
• W2181767744 cites W3144368627 @default.
• W2181767744 cites W623593394 @default.
• W2181767744 hasPublicationYear "2012" @default.
• W2181767744 type Work @default.
• W2181767744 sameAs 2181767744 @default.
• W2181767744 citedByCount "0" @default.
• W2181767744 crossrefType "journal-article" @default.
• W2181767744 hasAuthorship W2181767744A5016540152 @default.
• W2181767744 hasAuthorship W2181767744A5041913577 @default.
• W2181767744 hasAuthorship W2181767744A5077617115 @default.
• W2181767744 hasConcept C118615104 @default.
• W2181767744 hasConcept C132074034 @default.
• W2181767744 hasConcept C136119220 @default.
• W2181767744 hasConcept C154564781 @default.
• W2181767744 hasConcept C154690210 @default.
• W2181767744 hasConcept C156325763 @default.
• W2181767744 hasConcept C161771561 @default.
• W2181767744 hasConcept C184337299 @default.
• W2181767744 hasConcept C199343813 @default.
• W2181767744 hasConcept C199360897 @default.
• W2181767744 hasConcept C202444582 @default.
• W2181767744 hasConcept C2333172 @default.
• W2181767744 hasConcept C2524010 @default.
• W2181767744 hasConcept C2777686260 @default.
• W2181767744 hasConcept C2780069185 @default.
• W2181767744 hasConcept C33923547 @default.
• W2181767744 hasConcept C41008148 @default.
• W2181767744 hasConcept C71924100 @default.
• W2181767744 hasConcept C9973445 @default.
• W2181767744 hasConceptScore W2181767744C118615104 @default.
• W2181767744 hasConceptScore W2181767744C132074034 @default.
• W2181767744 hasConceptScore W2181767744C136119220 @default.
• W2181767744 hasConceptScore W2181767744C154564781 @default.
• W2181767744 hasConceptScore W2181767744C154690210 @default.
• W2181767744 hasConceptScore W2181767744C156325763 @default.
• W2181767744 hasConceptScore W2181767744C161771561 @default.
• W2181767744 hasConceptScore W2181767744C184337299 @default.
• W2181767744 hasConceptScore W2181767744C199343813 @default.
• W2181767744 hasConceptScore W2181767744C199360897 @default.
• W2181767744 hasConceptScore W2181767744C202444582 @default.
• W2181767744 hasConceptScore W2181767744C2333172 @default.
• W2181767744 hasConceptScore W2181767744C2524010 @default.
• W2181767744 hasConceptScore W2181767744C2777686260 @default.
• W2181767744 hasConceptScore W2181767744C2780069185 @default.
• W2181767744 hasConceptScore W2181767744C33923547 @default.
• W2181767744 hasConceptScore W2181767744C41008148 @default.
• W2181767744 hasConceptScore W2181767744C71924100 @default.
• W2181767744 hasConceptScore W2181767744C9973445 @default.
• W2181767744 hasLocation W21817677441 @default.
• W2181767744 hasOpenAccess W2181767744 @default.
• W2181767744 hasPrimaryLocation W21817677441 @default.
• W2181767744 hasRelatedWork W143797383 @default.

• next