Matches in SemOpenAlex for { <https://semopenalex.org/work/W1945318122> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1945318122 abstract "We study barbed equivalence in name-passing languages where there is no matching construct for testing equality between names. We concentrate on the /spl pi/-calculus with capability types and subtypes, of which the untyped /spl pi/-calculus without matching is a special case. We give a coinductive characterisation of typed barbed equivalence, and present bisimulation up-to techniques to enhance the resulting coinductive proof method. We then use these techniques to prove some process equalities that fail in the ordinary /spl pi/-calculus." @default.
- W1945318122 created "2016-06-24" @default.
- W1945318122 creator A5077030456 @default.
- W1945318122 creator A5078624552 @default.
- W1945318122 date "2002-11-27" @default.
- W1945318122 modified "2023-10-18" @default.
- W1945318122 title "Bisimulation in name-passing calculi without matching" @default.
- W1945318122 cites W1488482916 @default.
- W1945318122 cites W1511998399 @default.
- W1945318122 cites W1780867404 @default.
- W1945318122 cites W1828556947 @default.
- W1945318122 cites W1965718940 @default.
- W1945318122 cites W2072048176 @default.
- W1945318122 cites W2089615179 @default.
- W1945318122 cites W2092952058 @default.
- W1945318122 cites W2095082129 @default.
- W1945318122 cites W2095952082 @default.
- W1945318122 cites W2128932399 @default.
- W1945318122 cites W2171702465 @default.
- W1945318122 cites W2476379118 @default.
- W1945318122 doi "https://doi.org/10.1109/lics.1998.705653" @default.
- W1945318122 hasPublicationYear "2002" @default.
- W1945318122 type Work @default.
- W1945318122 sameAs 1945318122 @default.
- W1945318122 citedByCount "32" @default.
- W1945318122 countsByYear W19453181222012 @default.
- W1945318122 crossrefType "proceedings-article" @default.
- W1945318122 hasAuthorship W1945318122A5077030456 @default.
- W1945318122 hasAuthorship W1945318122A5078624552 @default.
- W1945318122 hasConcept C105795698 @default.
- W1945318122 hasConcept C108710211 @default.
- W1945318122 hasConcept C11413529 @default.
- W1945318122 hasConcept C118615104 @default.
- W1945318122 hasConcept C135315306 @default.
- W1945318122 hasConcept C136119220 @default.
- W1945318122 hasConcept C161771561 @default.
- W1945318122 hasConcept C165064840 @default.
- W1945318122 hasConcept C199343813 @default.
- W1945318122 hasConcept C199360897 @default.
- W1945318122 hasConcept C202444582 @default.
- W1945318122 hasConcept C2524010 @default.
- W1945318122 hasConcept C2777686260 @default.
- W1945318122 hasConcept C2780069185 @default.
- W1945318122 hasConcept C2984882572 @default.
- W1945318122 hasConcept C33923547 @default.
- W1945318122 hasConcept C40220748 @default.
- W1945318122 hasConcept C41008148 @default.
- W1945318122 hasConcept C71924100 @default.
- W1945318122 hasConceptScore W1945318122C105795698 @default.
- W1945318122 hasConceptScore W1945318122C108710211 @default.
- W1945318122 hasConceptScore W1945318122C11413529 @default.
- W1945318122 hasConceptScore W1945318122C118615104 @default.
- W1945318122 hasConceptScore W1945318122C135315306 @default.
- W1945318122 hasConceptScore W1945318122C136119220 @default.
- W1945318122 hasConceptScore W1945318122C161771561 @default.
- W1945318122 hasConceptScore W1945318122C165064840 @default.
- W1945318122 hasConceptScore W1945318122C199343813 @default.
- W1945318122 hasConceptScore W1945318122C199360897 @default.
- W1945318122 hasConceptScore W1945318122C202444582 @default.
- W1945318122 hasConceptScore W1945318122C2524010 @default.
- W1945318122 hasConceptScore W1945318122C2777686260 @default.
- W1945318122 hasConceptScore W1945318122C2780069185 @default.
- W1945318122 hasConceptScore W1945318122C2984882572 @default.
- W1945318122 hasConceptScore W1945318122C33923547 @default.
- W1945318122 hasConceptScore W1945318122C40220748 @default.
- W1945318122 hasConceptScore W1945318122C41008148 @default.
- W1945318122 hasConceptScore W1945318122C71924100 @default.
- W1945318122 hasLocation W19453181221 @default.
- W1945318122 hasOpenAccess W1945318122 @default.
- W1945318122 hasPrimaryLocation W19453181221 @default.
- W1945318122 hasRelatedWork W1521409840 @default.
- W1945318122 hasRelatedWork W1543496272 @default.
- W1945318122 hasRelatedWork W1580919870 @default.
- W1945318122 hasRelatedWork W1603799276 @default.
- W1945318122 hasRelatedWork W1808575051 @default.
- W1945318122 hasRelatedWork W198751654 @default.
- W1945318122 hasRelatedWork W2171350732 @default.
- W1945318122 hasRelatedWork W2386703210 @default.
- W1945318122 hasRelatedWork W4230750962 @default.
- W1945318122 hasRelatedWork W91613743 @default.
- W1945318122 isParatext "false" @default.
- W1945318122 isRetracted "false" @default.
- W1945318122 magId "1945318122" @default.
- W1945318122 workType "article" @default.