FRINK Linked Data Fragments server

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

• W2107198667 abstract "We study the divergent-sensitive spectrum of weak bisimulation equivalences in the setting of process algebra. To represent the infinite behavior, we consider the prefix iteration extension of a fragment of Milner's CCS. The prefix iteration operator is a variant on the binary version of the Kleene star operator obtained by restricting the first argument to be an atomic action and allows us to capture the notion of recursion in a pure algebraic way. We investigate four typical divergent-sensitive weak bisimulation equivalences, namely divergent, stable, completed and divergent stable weak bisimulation equivalences from an axiomatic perspective. A lattice of distinguishing axioms is developed and thus pure equational axiomatizations for these congruences are obtained. A large part of the current paper is devoted to a considerable complicated proof for completeness. This work, to some extent, sheds light on distinct semantics of divergence." @default.
• W2107198667 created "2016-06-24" @default.
• W2107198667 creator A5030747944 @default.
• W2107198667 creator A5066196985 @default.
• W2107198667 date "2008-04-01" @default.
• W2107198667 modified "2023-09-22" @default.
• W2107198667 title "Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration" @default.
• W2107198667 cites W1964327668 @default.
• W2107198667 cites W1977683351 @default.
• W2107198667 cites W1985161650 @default.
• W2107198667 cites W2039616607 @default.
• W2107198667 cites W2169869634 @default.
• W2107198667 cites W2914292476 @default.
• W2107198667 doi "https://doi.org/10.1016/j.entcs.2008.04.053" @default.
• W2107198667 hasPublicationYear "2008" @default.
• W2107198667 type Work @default.
• W2107198667 sameAs 2107198667 @default.
• W2107198667 citedByCount "1" @default.
• W2107198667 countsByYear W21071986672021 @default.
• W2107198667 crossrefType "journal-article" @default.
• W2107198667 hasAuthorship W2107198667A5030747944 @default.
• W2107198667 hasAuthorship W2107198667A5066196985 @default.
• W2107198667 hasBestOaLocation W21071986671 @default.
• W2107198667 hasConcept C104317684 @default.
• W2107198667 hasConcept C118615104 @default.
• W2107198667 hasConcept C134306372 @default.
• W2107198667 hasConcept C135315306 @default.
• W2107198667 hasConcept C136119220 @default.
• W2107198667 hasConcept C138885662 @default.
• W2107198667 hasConcept C141603448 @default.
• W2107198667 hasConcept C154564781 @default.
• W2107198667 hasConcept C154690210 @default.
• W2107198667 hasConcept C158448853 @default.
• W2107198667 hasConcept C161771561 @default.
• W2107198667 hasConcept C167729594 @default.
• W2107198667 hasConcept C17020691 @default.
• W2107198667 hasConcept C185592680 @default.
• W2107198667 hasConcept C199360897 @default.
• W2107198667 hasConcept C202444582 @default.
• W2107198667 hasConcept C206470798 @default.
• W2107198667 hasConcept C2524010 @default.
• W2107198667 hasConcept C2779729104 @default.
• W2107198667 hasConcept C33923547 @default.
• W2107198667 hasConcept C41008148 @default.
• W2107198667 hasConcept C41895202 @default.
• W2107198667 hasConcept C55493867 @default.
• W2107198667 hasConcept C80444323 @default.
• W2107198667 hasConcept C86339819 @default.
• W2107198667 hasConcept C9376300 @default.
• W2107198667 hasConcept C9973445 @default.
• W2107198667 hasConceptScore W2107198667C104317684 @default.
• W2107198667 hasConceptScore W2107198667C118615104 @default.
• W2107198667 hasConceptScore W2107198667C134306372 @default.
• W2107198667 hasConceptScore W2107198667C135315306 @default.
• W2107198667 hasConceptScore W2107198667C136119220 @default.
• W2107198667 hasConceptScore W2107198667C138885662 @default.
• W2107198667 hasConceptScore W2107198667C141603448 @default.
• W2107198667 hasConceptScore W2107198667C154564781 @default.
• W2107198667 hasConceptScore W2107198667C154690210 @default.
• W2107198667 hasConceptScore W2107198667C158448853 @default.
• W2107198667 hasConceptScore W2107198667C161771561 @default.
• W2107198667 hasConceptScore W2107198667C167729594 @default.
• W2107198667 hasConceptScore W2107198667C17020691 @default.
• W2107198667 hasConceptScore W2107198667C185592680 @default.
• W2107198667 hasConceptScore W2107198667C199360897 @default.
• W2107198667 hasConceptScore W2107198667C202444582 @default.
• W2107198667 hasConceptScore W2107198667C206470798 @default.
• W2107198667 hasConceptScore W2107198667C2524010 @default.
• W2107198667 hasConceptScore W2107198667C2779729104 @default.
• W2107198667 hasConceptScore W2107198667C33923547 @default.
• W2107198667 hasConceptScore W2107198667C41008148 @default.
• W2107198667 hasConceptScore W2107198667C41895202 @default.
• W2107198667 hasConceptScore W2107198667C55493867 @default.
• W2107198667 hasConceptScore W2107198667C80444323 @default.
• W2107198667 hasConceptScore W2107198667C86339819 @default.
• W2107198667 hasConceptScore W2107198667C9376300 @default.
• W2107198667 hasConceptScore W2107198667C9973445 @default.
• W2107198667 hasLocation W21071986671 @default.
• W2107198667 hasLocation W21071986672 @default.
• W2107198667 hasOpenAccess W2107198667 @default.
• W2107198667 hasPrimaryLocation W21071986671 @default.
• W2107198667 hasRelatedWork W1487583155 @default.
• W2107198667 hasRelatedWork W1514174256 @default.
• W2107198667 hasRelatedWork W1532145728 @default.
• W2107198667 hasRelatedWork W1568003051 @default.
• W2107198667 hasRelatedWork W1578992643 @default.
• W2107198667 hasRelatedWork W1755517 @default.
• W2107198667 hasRelatedWork W1869644701 @default.
• W2107198667 hasRelatedWork W2000760867 @default.
• W2107198667 hasRelatedWork W2012874796 @default.
• W2107198667 hasRelatedWork W2020147234 @default.
• W2107198667 hasRelatedWork W2028222735 @default.
• W2107198667 hasRelatedWork W2031016532 @default.
• W2107198667 hasRelatedWork W2055350841 @default.
• W2107198667 hasRelatedWork W2082825062 @default.
• W2107198667 hasRelatedWork W2103823147 @default.
• W2107198667 hasRelatedWork W2118044617 @default.
• W2107198667 hasRelatedWork W2154303258 @default.
• W2107198667 hasRelatedWork W2384140743 @default.
• W2107198667 hasRelatedWork W2497915606 @default.

• next