Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117622184> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2117622184 abstract "Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expressive formalisms such as concurrent higher-order constraints and advanced cryptographic primitives. We here establish the theory of weak bisimulation, where the τ actions are unobservable. In comparison to other calculi the presence of assertions poses a significant challenge in the definition of weak bisimulation, and although there appears to be a spectrum of possibilities we show that only a few are reasonable. We demonstrate that the complications mainly stem from psi-calculi where the associated logic does not satisfy weakening. We prove that weak bisimulation equivalence has the expected algebraic properties and that the corresponding observation congruence is preserved by all operators. These proofs have been machine checked in Isabelle. The notion of weak barb is defined as the output label of a communication action, and weak barbed equivalence is bisimilarity for τ actions and preservation of barbs in all static contexts. We prove that weak barbed equivalence coincides with weak bisimulation equivalence." @default.
- W2117622184 created "2016-06-24" @default.
- W2117622184 creator A5004557122 @default.
- W2117622184 creator A5005634871 @default.
- W2117622184 creator A5034250127 @default.
- W2117622184 creator A5042834681 @default.
- W2117622184 date "2010-07-01" @default.
- W2117622184 modified "2023-09-26" @default.
- W2117622184 title "Weak Equivalences in Psi-Calculi" @default.
- W2117622184 cites W1499941466 @default.
- W2117622184 cites W1539807509 @default.
- W2117622184 cites W1562901937 @default.
- W2117622184 cites W1895954544 @default.
- W2117622184 cites W1973054120 @default.
- W2117622184 cites W1975082667 @default.
- W2117622184 cites W2063608931 @default.
- W2117622184 cites W2106229972 @default.
- W2117622184 cites W2163319710 @default.
- W2117622184 cites W2180471721 @default.
- W2117622184 cites W3101262381 @default.
- W2117622184 doi "https://doi.org/10.1109/lics.2010.30" @default.
- W2117622184 hasPublicationYear "2010" @default.
- W2117622184 type Work @default.
- W2117622184 sameAs 2117622184 @default.
- W2117622184 citedByCount "21" @default.
- W2117622184 countsByYear W21176221842012 @default.
- W2117622184 countsByYear W21176221842013 @default.
- W2117622184 countsByYear W21176221842014 @default.
- W2117622184 countsByYear W21176221842015 @default.
- W2117622184 countsByYear W21176221842016 @default.
- W2117622184 countsByYear W21176221842017 @default.
- W2117622184 countsByYear W21176221842018 @default.
- W2117622184 countsByYear W21176221842019 @default.
- W2117622184 countsByYear W21176221842021 @default.
- W2117622184 crossrefType "proceedings-article" @default.
- W2117622184 hasAuthorship W2117622184A5004557122 @default.
- W2117622184 hasAuthorship W2117622184A5005634871 @default.
- W2117622184 hasAuthorship W2117622184A5034250127 @default.
- W2117622184 hasAuthorship W2117622184A5042834681 @default.
- W2117622184 hasBestOaLocation W21176221842 @default.
- W2117622184 hasConcept C108710211 @default.
- W2117622184 hasConcept C118615104 @default.
- W2117622184 hasConcept C132074034 @default.
- W2117622184 hasConcept C134306372 @default.
- W2117622184 hasConcept C135315306 @default.
- W2117622184 hasConcept C136119220 @default.
- W2117622184 hasConcept C149782125 @default.
- W2117622184 hasConcept C171018156 @default.
- W2117622184 hasConcept C202444582 @default.
- W2117622184 hasConcept C2524010 @default.
- W2117622184 hasConcept C2780069185 @default.
- W2117622184 hasConcept C2780695315 @default.
- W2117622184 hasConcept C33923547 @default.
- W2117622184 hasConcept C41008148 @default.
- W2117622184 hasConcept C80444323 @default.
- W2117622184 hasConcept C9376300 @default.
- W2117622184 hasConceptScore W2117622184C108710211 @default.
- W2117622184 hasConceptScore W2117622184C118615104 @default.
- W2117622184 hasConceptScore W2117622184C132074034 @default.
- W2117622184 hasConceptScore W2117622184C134306372 @default.
- W2117622184 hasConceptScore W2117622184C135315306 @default.
- W2117622184 hasConceptScore W2117622184C136119220 @default.
- W2117622184 hasConceptScore W2117622184C149782125 @default.
- W2117622184 hasConceptScore W2117622184C171018156 @default.
- W2117622184 hasConceptScore W2117622184C202444582 @default.
- W2117622184 hasConceptScore W2117622184C2524010 @default.
- W2117622184 hasConceptScore W2117622184C2780069185 @default.
- W2117622184 hasConceptScore W2117622184C2780695315 @default.
- W2117622184 hasConceptScore W2117622184C33923547 @default.
- W2117622184 hasConceptScore W2117622184C41008148 @default.
- W2117622184 hasConceptScore W2117622184C80444323 @default.
- W2117622184 hasConceptScore W2117622184C9376300 @default.
- W2117622184 hasLocation W21176221841 @default.
- W2117622184 hasLocation W21176221842 @default.
- W2117622184 hasOpenAccess W2117622184 @default.
- W2117622184 hasPrimaryLocation W21176221841 @default.
- W2117622184 hasRelatedWork W1542815565 @default.
- W2117622184 hasRelatedWork W1543496272 @default.
- W2117622184 hasRelatedWork W2015780695 @default.
- W2117622184 hasRelatedWork W2044921196 @default.
- W2117622184 hasRelatedWork W2117622184 @default.
- W2117622184 hasRelatedWork W2121936893 @default.
- W2117622184 hasRelatedWork W2153976524 @default.
- W2117622184 hasRelatedWork W2739034326 @default.
- W2117622184 hasRelatedWork W2981096575 @default.
- W2117622184 hasRelatedWork W4246665322 @default.
- W2117622184 isParatext "false" @default.
- W2117622184 isRetracted "false" @default.
- W2117622184 magId "2117622184" @default.
- W2117622184 workType "article" @default.