Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556831389> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1556831389 endingPage "377" @default.
- W1556831389 startingPage "317" @default.
- W1556831389 abstract "We propose a symbolic semantics for the finite applied pi calculus. The applied pi calculus is a variant of the pi calculus with extensions for modelling cryptographic protocols. By treating inputs symbolically, our semantics avoids potentially infin" @default.
- W1556831389 created "2016-06-24" @default.
- W1556831389 creator A5055690957 @default.
- W1556831389 creator A5068404835 @default.
- W1556831389 creator A5085316790 @default.
- W1556831389 date "2010-03-22" @default.
- W1556831389 modified "2023-09-25" @default.
- W1556831389 title "Symbolic bisimulation for the applied pi calculus*" @default.
- W1556831389 cites W1479744988 @default.
- W1556831389 cites W1527737101 @default.
- W1556831389 cites W170425430 @default.
- W1556831389 cites W1973054120 @default.
- W1556831389 cites W1994676271 @default.
- W1556831389 cites W1996497395 @default.
- W1556831389 cites W1997454380 @default.
- W1556831389 cites W2019884366 @default.
- W1556831389 cites W2029693536 @default.
- W1556831389 cites W2060349224 @default.
- W1556831389 cites W2088096459 @default.
- W1556831389 cites W2114189125 @default.
- W1556831389 cites W2126338744 @default.
- W1556831389 cites W2128932399 @default.
- W1556831389 cites W2147584309 @default.
- W1556831389 cites W2152744480 @default.
- W1556831389 cites W2913663755 @default.
- W1556831389 cites W3003983481 @default.
- W1556831389 doi "https://doi.org/10.3233/jcs-2010-0363" @default.
- W1556831389 hasPublicationYear "2010" @default.
- W1556831389 type Work @default.
- W1556831389 sameAs 1556831389 @default.
- W1556831389 citedByCount "28" @default.
- W1556831389 countsByYear W15568313892012 @default.
- W1556831389 countsByYear W15568313892013 @default.
- W1556831389 countsByYear W15568313892014 @default.
- W1556831389 countsByYear W15568313892015 @default.
- W1556831389 countsByYear W15568313892016 @default.
- W1556831389 countsByYear W15568313892017 @default.
- W1556831389 countsByYear W15568313892018 @default.
- W1556831389 countsByYear W15568313892020 @default.
- W1556831389 countsByYear W15568313892021 @default.
- W1556831389 countsByYear W15568313892023 @default.
- W1556831389 crossrefType "journal-article" @default.
- W1556831389 hasAuthorship W1556831389A5055690957 @default.
- W1556831389 hasAuthorship W1556831389A5068404835 @default.
- W1556831389 hasAuthorship W1556831389A5085316790 @default.
- W1556831389 hasBestOaLocation W15568313892 @default.
- W1556831389 hasConcept C11413529 @default.
- W1556831389 hasConcept C135315306 @default.
- W1556831389 hasConcept C136119220 @default.
- W1556831389 hasConcept C161771561 @default.
- W1556831389 hasConcept C178489894 @default.
- W1556831389 hasConcept C184337299 @default.
- W1556831389 hasConcept C199343813 @default.
- W1556831389 hasConcept C199360897 @default.
- W1556831389 hasConcept C202444582 @default.
- W1556831389 hasConcept C2777686260 @default.
- W1556831389 hasConcept C2984882572 @default.
- W1556831389 hasConcept C33884865 @default.
- W1556831389 hasConcept C33923547 @default.
- W1556831389 hasConcept C41008148 @default.
- W1556831389 hasConcept C71924100 @default.
- W1556831389 hasConceptScore W1556831389C11413529 @default.
- W1556831389 hasConceptScore W1556831389C135315306 @default.
- W1556831389 hasConceptScore W1556831389C136119220 @default.
- W1556831389 hasConceptScore W1556831389C161771561 @default.
- W1556831389 hasConceptScore W1556831389C178489894 @default.
- W1556831389 hasConceptScore W1556831389C184337299 @default.
- W1556831389 hasConceptScore W1556831389C199343813 @default.
- W1556831389 hasConceptScore W1556831389C199360897 @default.
- W1556831389 hasConceptScore W1556831389C202444582 @default.
- W1556831389 hasConceptScore W1556831389C2777686260 @default.
- W1556831389 hasConceptScore W1556831389C2984882572 @default.
- W1556831389 hasConceptScore W1556831389C33884865 @default.
- W1556831389 hasConceptScore W1556831389C33923547 @default.
- W1556831389 hasConceptScore W1556831389C41008148 @default.
- W1556831389 hasConceptScore W1556831389C71924100 @default.
- W1556831389 hasIssue "2" @default.
- W1556831389 hasLocation W15568313891 @default.
- W1556831389 hasLocation W15568313892 @default.
- W1556831389 hasOpenAccess W1556831389 @default.
- W1556831389 hasPrimaryLocation W15568313891 @default.
- W1556831389 hasRelatedWork W1525668581 @default.
- W1556831389 hasRelatedWork W1556831389 @default.
- W1556831389 hasRelatedWork W1564764333 @default.
- W1556831389 hasRelatedWork W1603799276 @default.
- W1556831389 hasRelatedWork W1780867404 @default.
- W1556831389 hasRelatedWork W1887007263 @default.
- W1556831389 hasRelatedWork W1967639372 @default.
- W1556831389 hasRelatedWork W1971318400 @default.
- W1556831389 hasRelatedWork W2130773382 @default.
- W1556831389 hasRelatedWork W4300624557 @default.
- W1556831389 hasVolume "18" @default.
- W1556831389 isParatext "false" @default.
- W1556831389 isRetracted "false" @default.
- W1556831389 magId "1556831389" @default.
- W1556831389 workType "article" @default.