FRINK Linked Data Fragments server

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

• W2151584924 endingPage "267" @default.
• W2151584924 startingPage "259" @default.
• W2151584924 abstract "Bergstra, Bethke and Ponse proposed an axiomatization for Basic Process Algebra extended with (binary) iteration. In this paper, we prove that this axiomatization is complete with respect to strong bisimulation equivalence. To obtain this result, we will set up a term rewriting system, based on the axioms, and prove that this term rewriting system is terminating, and that bisimilar normal forms are syntactically equal modulo commutativity and associativity of the +." @default.
• W2151584924 created "2016-06-24" @default.
• W2151584924 creator A5078610814 @default.
• W2151584924 creator A5080214204 @default.
• W2151584924 date "1994-04-01" @default.
• W2151584924 modified "2023-10-16" @default.
• W2151584924 title "Basic Process Algebra with Iteration: Completeness of its Equational Axioms" @default.
• W2151584924 cites W1570949334 @default.
• W2151584924 cites W1975668807 @default.
• W2151584924 cites W1999706742 @default.
• W2151584924 cites W2082825062 @default.
• W2151584924 cites W2114817587 @default.
• W2151584924 cites W2117297757 @default.
• W2151584924 cites W2142944765 @default.
• W2151584924 cites W2149366752 @default.
• W2151584924 cites W2158543119 @default.
• W2151584924 cites W2163152086 @default.
• W2151584924 cites W2169869634 @default.
• W2151584924 cites W2170550263 @default.
• W2151584924 doi "https://doi.org/10.1093/comjnl/37.4.259" @default.
• W2151584924 hasPublicationYear "1994" @default.
• W2151584924 type Work @default.
• W2151584924 sameAs 2151584924 @default.
• W2151584924 citedByCount "58" @default.
• W2151584924 countsByYear W21515849242013 @default.
• W2151584924 countsByYear W21515849242014 @default.
• W2151584924 countsByYear W21515849242019 @default.
• W2151584924 countsByYear W21515849242020 @default.
• W2151584924 countsByYear W21515849242021 @default.
• W2151584924 countsByYear W21515849242022 @default.
• W2151584924 crossrefType "journal-article" @default.
• W2151584924 hasAuthorship W2151584924A5078610814 @default.
• W2151584924 hasAuthorship W2151584924A5080214204 @default.
• W2151584924 hasBestOaLocation W21515849241 @default.
• W2151584924 hasConcept C118615104 @default.
• W2151584924 hasConcept C121332964 @default.
• W2151584924 hasConcept C134306372 @default.
• W2151584924 hasConcept C135315306 @default.
• W2151584924 hasConcept C136119220 @default.
• W2151584924 hasConcept C138354692 @default.
• W2151584924 hasConcept C154564781 @default.
• W2151584924 hasConcept C154690210 @default.
• W2151584924 hasConcept C161771561 @default.
• W2151584924 hasConcept C167729594 @default.
• W2151584924 hasConcept C170517529 @default.
• W2151584924 hasConcept C17231256 @default.
• W2151584924 hasConcept C183778304 @default.
• W2151584924 hasConcept C185529760 @default.
• W2151584924 hasConcept C199360897 @default.
• W2151584924 hasConcept C202444582 @default.
• W2151584924 hasConcept C206470798 @default.
• W2151584924 hasConcept C2524010 @default.
• W2151584924 hasConcept C2780069185 @default.
• W2151584924 hasConcept C33923547 @default.
• W2151584924 hasConcept C41008148 @default.
• W2151584924 hasConcept C54732982 @default.
• W2151584924 hasConcept C61797465 @default.
• W2151584924 hasConcept C62520636 @default.
• W2151584924 hasConcept C67996461 @default.
• W2151584924 hasConcept C80444323 @default.
• W2151584924 hasConceptScore W2151584924C118615104 @default.
• W2151584924 hasConceptScore W2151584924C121332964 @default.
• W2151584924 hasConceptScore W2151584924C134306372 @default.
• W2151584924 hasConceptScore W2151584924C135315306 @default.
• W2151584924 hasConceptScore W2151584924C136119220 @default.
• W2151584924 hasConceptScore W2151584924C138354692 @default.
• W2151584924 hasConceptScore W2151584924C154564781 @default.
• W2151584924 hasConceptScore W2151584924C154690210 @default.
• W2151584924 hasConceptScore W2151584924C161771561 @default.
• W2151584924 hasConceptScore W2151584924C167729594 @default.
• W2151584924 hasConceptScore W2151584924C170517529 @default.
• W2151584924 hasConceptScore W2151584924C17231256 @default.
• W2151584924 hasConceptScore W2151584924C183778304 @default.
• W2151584924 hasConceptScore W2151584924C185529760 @default.
• W2151584924 hasConceptScore W2151584924C199360897 @default.
• W2151584924 hasConceptScore W2151584924C202444582 @default.
• W2151584924 hasConceptScore W2151584924C206470798 @default.
• W2151584924 hasConceptScore W2151584924C2524010 @default.
• W2151584924 hasConceptScore W2151584924C2780069185 @default.
• W2151584924 hasConceptScore W2151584924C33923547 @default.
• W2151584924 hasConceptScore W2151584924C41008148 @default.
• W2151584924 hasConceptScore W2151584924C54732982 @default.
• W2151584924 hasConceptScore W2151584924C61797465 @default.
• W2151584924 hasConceptScore W2151584924C62520636 @default.
• W2151584924 hasConceptScore W2151584924C67996461 @default.
• W2151584924 hasConceptScore W2151584924C80444323 @default.
• W2151584924 hasIssue "4" @default.
• W2151584924 hasLocation W21515849241 @default.
• W2151584924 hasLocation W21515849242 @default.
• W2151584924 hasLocation W21515849243 @default.
• W2151584924 hasLocation W21515849244 @default.
• W2151584924 hasOpenAccess W2151584924 @default.
• W2151584924 hasPrimaryLocation W21515849241 @default.
• W2151584924 hasRelatedWork W1531935507 @default.
• W2151584924 hasRelatedWork W1862544530 @default.
• W2151584924 hasRelatedWork W2068047345 @default.
• W2151584924 hasRelatedWork W2151584924 @default.
• W2151584924 hasRelatedWork W2803110412 @default.

• next