FRINK Linked Data Fragments server

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

• W2078387921 abstract "This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent process @W. It is well known that prebisimilarity affords a finite ground-complete axiomatization over this language; this study proves that this ground-complete axiomatization is also complete in the presence of an infinite set of actions. Moreover, in sharp contrast to this positive result, it is shown that prebisimilarity is not finitely based over basic CCS with the divergent process @W when the set of actions is finite and nonempty." @default.
• W2078387921 created "2016-06-24" @default.
• W2078387921 creator A5016540152 @default.
• W2078387921 creator A5041913577 @default.
• W2078387921 creator A5067908378 @default.
• W2078387921 creator A5091012728 @default.
• W2078387921 date "2008-11-01" @default.
• W2078387921 modified "2023-09-23" @default.
• W2078387921 title "The equational theory of prebisimilarity over basic CCS with divergence" @default.
• W2078387921 cites W1503973138 @default.
• W2078387921 cites W1868341999 @default.
• W2078387921 cites W1883772204 @default.
• W2078387921 cites W1966112122 @default.
• W2078387921 cites W1978375202 @default.
• W2078387921 cites W1990440312 @default.
• W2078387921 cites W1997305605 @default.
• W2078387921 cites W2007270285 @default.
• W2078387921 cites W2022487277 @default.
• W2078387921 cites W2039112578 @default.
• W2078387921 cites W2078105844 @default.
• W2078387921 cites W2108796478 @default.
• W2078387921 cites W2118229393 @default.
• W2078387921 cites W2136920408 @default.
• W2078387921 cites W2137908781 @default.
• W2078387921 cites W2162013421 @default.
• W2078387921 cites W2551227733 @default.
• W2078387921 doi "https://doi.org/10.1016/j.ipl.2008.05.019" @default.
• W2078387921 hasPublicationYear "2008" @default.
• W2078387921 type Work @default.
• W2078387921 sameAs 2078387921 @default.
• W2078387921 citedByCount "3" @default.
• W2078387921 countsByYear W20783879212012 @default.
• W2078387921 countsByYear W20783879212014 @default.
• W2078387921 crossrefType "journal-article" @default.
• W2078387921 hasAuthorship W2078387921A5016540152 @default.
• W2078387921 hasAuthorship W2078387921A5041913577 @default.
• W2078387921 hasAuthorship W2078387921A5067908378 @default.
• W2078387921 hasAuthorship W2078387921A5091012728 @default.
• W2078387921 hasBestOaLocation W20783879212 @default.
• W2078387921 hasConcept C11413529 @default.
• W2078387921 hasConcept C118615104 @default.
• W2078387921 hasConcept C134306372 @default.
• W2078387921 hasConcept C135315306 @default.
• W2078387921 hasConcept C136119220 @default.
• W2078387921 hasConcept C138885662 @default.
• W2078387921 hasConcept C146072743 @default.
• W2078387921 hasConcept C154564781 @default.
• W2078387921 hasConcept C154690210 @default.
• W2078387921 hasConcept C161771561 @default.
• W2078387921 hasConcept C162392398 @default.
• W2078387921 hasConcept C177264268 @default.
• W2078387921 hasConcept C199360897 @default.
• W2078387921 hasConcept C202444582 @default.
• W2078387921 hasConcept C207390915 @default.
• W2078387921 hasConcept C2333172 @default.
• W2078387921 hasConcept C33923547 @default.
• W2078387921 hasConcept C41008148 @default.
• W2078387921 hasConcept C41895202 @default.
• W2078387921 hasConcept C80444323 @default.
• W2078387921 hasConcept C98045186 @default.
• W2078387921 hasConceptScore W2078387921C11413529 @default.
• W2078387921 hasConceptScore W2078387921C118615104 @default.
• W2078387921 hasConceptScore W2078387921C134306372 @default.
• W2078387921 hasConceptScore W2078387921C135315306 @default.
• W2078387921 hasConceptScore W2078387921C136119220 @default.
• W2078387921 hasConceptScore W2078387921C138885662 @default.
• W2078387921 hasConceptScore W2078387921C146072743 @default.
• W2078387921 hasConceptScore W2078387921C154564781 @default.
• W2078387921 hasConceptScore W2078387921C154690210 @default.
• W2078387921 hasConceptScore W2078387921C161771561 @default.
• W2078387921 hasConceptScore W2078387921C162392398 @default.
• W2078387921 hasConceptScore W2078387921C177264268 @default.
• W2078387921 hasConceptScore W2078387921C199360897 @default.
• W2078387921 hasConceptScore W2078387921C202444582 @default.
• W2078387921 hasConceptScore W2078387921C207390915 @default.
• W2078387921 hasConceptScore W2078387921C2333172 @default.
• W2078387921 hasConceptScore W2078387921C33923547 @default.
• W2078387921 hasConceptScore W2078387921C41008148 @default.
• W2078387921 hasConceptScore W2078387921C41895202 @default.
• W2078387921 hasConceptScore W2078387921C80444323 @default.
• W2078387921 hasConceptScore W2078387921C98045186 @default.
• W2078387921 hasLocation W20783879211 @default.
• W2078387921 hasLocation W20783879212 @default.
• W2078387921 hasOpenAccess W2078387921 @default.
• W2078387921 hasPrimaryLocation W20783879211 @default.
• W2078387921 hasRelatedWork W1511084864 @default.
• W2078387921 hasRelatedWork W1513199308 @default.
• W2078387921 hasRelatedWork W1545649731 @default.
• W2078387921 hasRelatedWork W1605829531 @default.
• W2078387921 hasRelatedWork W1976081874 @default.
• W2078387921 hasRelatedWork W2022258624 @default.
• W2078387921 hasRelatedWork W2028222735 @default.
• W2078387921 hasRelatedWork W2084709987 @default.
• W2078387921 hasRelatedWork W2091883117 @default.
• W2078387921 hasRelatedWork W2103823147 @default.
• W2078387921 hasRelatedWork W2107198667 @default.
• W2078387921 hasRelatedWork W2118044617 @default.
• W2078387921 hasRelatedWork W2154303258 @default.
• W2078387921 hasRelatedWork W2181767744 @default.
• W2078387921 hasRelatedWork W2182201061 @default.

• next