Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167019232> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2167019232 endingPage "112" @default.
- W2167019232 startingPage "76" @default.
- W2167019232 abstract "Symbolic characterisations of bisimilarities for the applied pi calculus proposed so far are sound but incomplete, even restricted to the finite fragment of the calculus. In this paper we present a novel approach to symbolic semantics for the applied pi calculus, leading to a notion of symbolic bisimulation which is both sound and complete with respect to the standard labelled bisimilarity. Moreover, our framework accommodates replications hence works for the full calculus." @default.
- W2167019232 created "2016-06-24" @default.
- W2167019232 creator A5022485210 @default.
- W2167019232 creator A5057117256 @default.
- W2167019232 date "2012-11-01" @default.
- W2167019232 modified "2023-09-30" @default.
- W2167019232 title "A complete symbolic bisimulation for full applied pi calculus" @default.
- W2167019232 cites W144241110 @default.
- W2167019232 cites W1527737101 @default.
- W2167019232 cites W1556831389 @default.
- W2167019232 cites W1973054120 @default.
- W2167019232 cites W1997454380 @default.
- W2167019232 cites W2035991090 @default.
- W2167019232 cites W2043338352 @default.
- W2167019232 cites W2055259417 @default.
- W2167019232 cites W2077875077 @default.
- W2167019232 cites W2103263694 @default.
- W2167019232 cites W2130123502 @default.
- W2167019232 cites W2163319710 @default.
- W2167019232 cites W2913663755 @default.
- W2167019232 cites W2914971001 @default.
- W2167019232 cites W3101262381 @default.
- W2167019232 doi "https://doi.org/10.1016/j.tcs.2012.07.034" @default.
- W2167019232 hasPublicationYear "2012" @default.
- W2167019232 type Work @default.
- W2167019232 sameAs 2167019232 @default.
- W2167019232 citedByCount "13" @default.
- W2167019232 countsByYear W21670192322014 @default.
- W2167019232 countsByYear W21670192322016 @default.
- W2167019232 countsByYear W21670192322017 @default.
- W2167019232 countsByYear W21670192322018 @default.
- W2167019232 countsByYear W21670192322021 @default.
- W2167019232 countsByYear W21670192322023 @default.
- W2167019232 crossrefType "journal-article" @default.
- W2167019232 hasAuthorship W2167019232A5022485210 @default.
- W2167019232 hasAuthorship W2167019232A5057117256 @default.
- W2167019232 hasBestOaLocation W21670192321 @default.
- W2167019232 hasConcept C11413529 @default.
- W2167019232 hasConcept C118615104 @default.
- W2167019232 hasConcept C135315306 @default.
- W2167019232 hasConcept C136119220 @default.
- W2167019232 hasConcept C184337299 @default.
- W2167019232 hasConcept C199343813 @default.
- W2167019232 hasConcept C199360897 @default.
- W2167019232 hasConcept C202444582 @default.
- W2167019232 hasConcept C2776235265 @default.
- W2167019232 hasConcept C2777686260 @default.
- W2167019232 hasConcept C2984882572 @default.
- W2167019232 hasConcept C33923547 @default.
- W2167019232 hasConcept C41008148 @default.
- W2167019232 hasConcept C71924100 @default.
- W2167019232 hasConceptScore W2167019232C11413529 @default.
- W2167019232 hasConceptScore W2167019232C118615104 @default.
- W2167019232 hasConceptScore W2167019232C135315306 @default.
- W2167019232 hasConceptScore W2167019232C136119220 @default.
- W2167019232 hasConceptScore W2167019232C184337299 @default.
- W2167019232 hasConceptScore W2167019232C199343813 @default.
- W2167019232 hasConceptScore W2167019232C199360897 @default.
- W2167019232 hasConceptScore W2167019232C202444582 @default.
- W2167019232 hasConceptScore W2167019232C2776235265 @default.
- W2167019232 hasConceptScore W2167019232C2777686260 @default.
- W2167019232 hasConceptScore W2167019232C2984882572 @default.
- W2167019232 hasConceptScore W2167019232C33923547 @default.
- W2167019232 hasConceptScore W2167019232C41008148 @default.
- W2167019232 hasConceptScore W2167019232C71924100 @default.
- W2167019232 hasLocation W21670192321 @default.
- W2167019232 hasOpenAccess W2167019232 @default.
- W2167019232 hasPrimaryLocation W21670192321 @default.
- W2167019232 hasRelatedWork W144241110 @default.
- W2167019232 hasRelatedWork W1556831389 @default.
- W2167019232 hasRelatedWork W1603799276 @default.
- W2167019232 hasRelatedWork W1887007263 @default.
- W2167019232 hasRelatedWork W1967639372 @default.
- W2167019232 hasRelatedWork W1973719799 @default.
- W2167019232 hasRelatedWork W2138602467 @default.
- W2167019232 hasRelatedWork W2148649146 @default.
- W2167019232 hasRelatedWork W2164091563 @default.
- W2167019232 hasRelatedWork W4226197612 @default.
- W2167019232 hasVolume "458" @default.
- W2167019232 isParatext "false" @default.
- W2167019232 isRetracted "false" @default.
- W2167019232 magId "2167019232" @default.
- W2167019232 workType "article" @default.