Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028222735> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2028222735 endingPage "28" @default.
- W2028222735 startingPage "5" @default.
- W2028222735 abstract "This paper studies the equational theory of bisimulation equivalence over the process algebra BCCSP extended with the priority operator of Baeten, Bergstra and Klop. We prove that, in the presence of an infinite set of actions, bisimulation equivalence has no finite, sound, ground-complete equational axiomatisation over that language. This negative result applies even if the syntax is extended with an arbitrary collection of auxiliary operators, and motivates the study of axiomatisations using equations with action predicates as conditions. In the presence of an infinite set of actions, it is shown that, in general, bisimulation equivalence has no finite, sound, ground-complete axiomatisation consisting of equations with action predicates as conditions over the language studied in this paper. Finally, sufficient conditions on the priority structure over actions are identified that lead to a finite, ground-complete axiomatisation of bisimulation equivalence using equations with action predicates as conditions." @default.
- W2028222735 created "2016-06-24" @default.
- W2028222735 creator A5016540152 @default.
- W2028222735 creator A5030747944 @default.
- W2028222735 creator A5041913577 @default.
- W2028222735 creator A5078610814 @default.
- W2028222735 date "2008-02-01" @default.
- W2028222735 modified "2023-09-26" @default.
- W2028222735 title "On the axiomatisability of priority" @default.
- W2028222735 cites W1525456578 @default.
- W2028222735 cites W1598923566 @default.
- W2028222735 cites W1868341999 @default.
- W2028222735 cites W1964327668 @default.
- W2028222735 cites W1966112122 @default.
- W2028222735 cites W1972478730 @default.
- W2028222735 cites W1978469611 @default.
- W2028222735 cites W202252014 @default.
- W2028222735 cites W2095975761 @default.
- W2028222735 cites W2098083416 @default.
- W2028222735 cites W2108192909 @default.
- W2028222735 cites W2151950311 @default.
- W2028222735 cites W2205337852 @default.
- W2028222735 cites W2222296167 @default.
- W2028222735 cites W4239721096 @default.
- W2028222735 doi "https://doi.org/10.1017/s0960129507006524" @default.
- W2028222735 hasPublicationYear "2008" @default.
- W2028222735 type Work @default.
- W2028222735 sameAs 2028222735 @default.
- W2028222735 citedByCount "9" @default.
- W2028222735 countsByYear W20282227352012 @default.
- W2028222735 countsByYear W20282227352014 @default.
- W2028222735 countsByYear W20282227352018 @default.
- W2028222735 countsByYear W20282227352020 @default.
- W2028222735 countsByYear W20282227352021 @default.
- W2028222735 crossrefType "journal-article" @default.
- W2028222735 hasAuthorship W2028222735A5016540152 @default.
- W2028222735 hasAuthorship W2028222735A5030747944 @default.
- W2028222735 hasAuthorship W2028222735A5041913577 @default.
- W2028222735 hasAuthorship W2028222735A5078610814 @default.
- W2028222735 hasConcept C104317684 @default.
- W2028222735 hasConcept C118615104 @default.
- W2028222735 hasConcept C121332964 @default.
- W2028222735 hasConcept C135315306 @default.
- W2028222735 hasConcept C136119220 @default.
- W2028222735 hasConcept C158448853 @default.
- W2028222735 hasConcept C161771561 @default.
- W2028222735 hasConcept C17020691 @default.
- W2028222735 hasConcept C177264268 @default.
- W2028222735 hasConcept C185592680 @default.
- W2028222735 hasConcept C199360897 @default.
- W2028222735 hasConcept C202444582 @default.
- W2028222735 hasConcept C2780069185 @default.
- W2028222735 hasConcept C2780791683 @default.
- W2028222735 hasConcept C33923547 @default.
- W2028222735 hasConcept C41008148 @default.
- W2028222735 hasConcept C55493867 @default.
- W2028222735 hasConcept C62520636 @default.
- W2028222735 hasConcept C80444323 @default.
- W2028222735 hasConcept C86339819 @default.
- W2028222735 hasConceptScore W2028222735C104317684 @default.
- W2028222735 hasConceptScore W2028222735C118615104 @default.
- W2028222735 hasConceptScore W2028222735C121332964 @default.
- W2028222735 hasConceptScore W2028222735C135315306 @default.
- W2028222735 hasConceptScore W2028222735C136119220 @default.
- W2028222735 hasConceptScore W2028222735C158448853 @default.
- W2028222735 hasConceptScore W2028222735C161771561 @default.
- W2028222735 hasConceptScore W2028222735C17020691 @default.
- W2028222735 hasConceptScore W2028222735C177264268 @default.
- W2028222735 hasConceptScore W2028222735C185592680 @default.
- W2028222735 hasConceptScore W2028222735C199360897 @default.
- W2028222735 hasConceptScore W2028222735C202444582 @default.
- W2028222735 hasConceptScore W2028222735C2780069185 @default.
- W2028222735 hasConceptScore W2028222735C2780791683 @default.
- W2028222735 hasConceptScore W2028222735C33923547 @default.
- W2028222735 hasConceptScore W2028222735C41008148 @default.
- W2028222735 hasConceptScore W2028222735C55493867 @default.
- W2028222735 hasConceptScore W2028222735C62520636 @default.
- W2028222735 hasConceptScore W2028222735C80444323 @default.
- W2028222735 hasConceptScore W2028222735C86339819 @default.
- W2028222735 hasIssue "1" @default.
- W2028222735 hasLocation W20282227351 @default.
- W2028222735 hasOpenAccess W2028222735 @default.
- W2028222735 hasPrimaryLocation W20282227351 @default.
- W2028222735 hasRelatedWork W1480112536 @default.
- W2028222735 hasRelatedWork W1543496272 @default.
- W2028222735 hasRelatedWork W1569743961 @default.
- W2028222735 hasRelatedWork W1608609850 @default.
- W2028222735 hasRelatedWork W1973351415 @default.
- W2028222735 hasRelatedWork W2089546907 @default.
- W2028222735 hasRelatedWork W2130773382 @default.
- W2028222735 hasRelatedWork W2153976524 @default.
- W2028222735 hasRelatedWork W2739034326 @default.
- W2028222735 hasRelatedWork W2484760668 @default.
- W2028222735 hasVolume "18" @default.
- W2028222735 isParatext "false" @default.
- W2028222735 isRetracted "false" @default.
- W2028222735 magId "2028222735" @default.
- W2028222735 workType "article" @default.