Matches in SemOpenAlex for { <https://semopenalex.org/work/W144241110> ?p ?o ?g. }
- W144241110 abstract "A symbolic-style proof system is presented to reason about observational equivalence for applied pi-calculus. The proofs of the soundness and completeness of the system rely on a recently developed theory of symbolic bisimulation for applied pi-calculus. The completeness result of the proof system is restricted to the finite fragment of applied pi-calculus which admits finite partition, and it is demonstrated that this fragment covers an important subset of applied pi-calculus which is practically useful for analyzing security protocols." @default.
- W144241110 created "2016-06-24" @default.
- W144241110 creator A5022485210 @default.
- W144241110 creator A5057117256 @default.
- W144241110 date "2010-01-01" @default.
- W144241110 modified "2023-09-26" @default.
- W144241110 title "Proof System for Applied Pi Calculus" @default.
- W144241110 cites W1521338600 @default.
- W144241110 cites W1539904031 @default.
- W144241110 cites W1599897657 @default.
- W144241110 cites W1931111975 @default.
- W144241110 cites W1973054120 @default.
- W144241110 cites W1996497395 @default.
- W144241110 cites W2035991090 @default.
- W144241110 cites W2043338352 @default.
- W144241110 cites W2063161063 @default.
- W144241110 cites W2072848882 @default.
- W144241110 cites W2103263694 @default.
- W144241110 cites W2104270509 @default.
- W144241110 cites W2913663755 @default.
- W144241110 cites W3101262381 @default.
- W144241110 doi "https://doi.org/10.1007/978-3-642-15240-5_17" @default.
- W144241110 hasPublicationYear "2010" @default.
- W144241110 type Work @default.
- W144241110 sameAs 144241110 @default.
- W144241110 citedByCount "7" @default.
- W144241110 countsByYear W1442411102012 @default.
- W144241110 countsByYear W1442411102013 @default.
- W144241110 countsByYear W1442411102014 @default.
- W144241110 countsByYear W1442411102015 @default.
- W144241110 countsByYear W1442411102016 @default.
- W144241110 crossrefType "book-chapter" @default.
- W144241110 hasAuthorship W144241110A5022485210 @default.
- W144241110 hasAuthorship W144241110A5057117256 @default.
- W144241110 hasBestOaLocation W1442411101 @default.
- W144241110 hasConcept C108710211 @default.
- W144241110 hasConcept C11413529 @default.
- W144241110 hasConcept C118615104 @default.
- W144241110 hasConcept C134306372 @default.
- W144241110 hasConcept C135315306 @default.
- W144241110 hasConcept C136119220 @default.
- W144241110 hasConcept C17231256 @default.
- W144241110 hasConcept C195653647 @default.
- W144241110 hasConcept C199343813 @default.
- W144241110 hasConcept C199360897 @default.
- W144241110 hasConcept C202444582 @default.
- W144241110 hasConcept C2318724 @default.
- W144241110 hasConcept C2524010 @default.
- W144241110 hasConcept C2776235265 @default.
- W144241110 hasConcept C2777686260 @default.
- W144241110 hasConcept C2777721189 @default.
- W144241110 hasConcept C2780069185 @default.
- W144241110 hasConcept C2984882572 @default.
- W144241110 hasConcept C33923547 @default.
- W144241110 hasConcept C39920170 @default.
- W144241110 hasConcept C41008148 @default.
- W144241110 hasConcept C62073222 @default.
- W144241110 hasConcept C71924100 @default.
- W144241110 hasConcept C80444323 @default.
- W144241110 hasConceptScore W144241110C108710211 @default.
- W144241110 hasConceptScore W144241110C11413529 @default.
- W144241110 hasConceptScore W144241110C118615104 @default.
- W144241110 hasConceptScore W144241110C134306372 @default.
- W144241110 hasConceptScore W144241110C135315306 @default.
- W144241110 hasConceptScore W144241110C136119220 @default.
- W144241110 hasConceptScore W144241110C17231256 @default.
- W144241110 hasConceptScore W144241110C195653647 @default.
- W144241110 hasConceptScore W144241110C199343813 @default.
- W144241110 hasConceptScore W144241110C199360897 @default.
- W144241110 hasConceptScore W144241110C202444582 @default.
- W144241110 hasConceptScore W144241110C2318724 @default.
- W144241110 hasConceptScore W144241110C2524010 @default.
- W144241110 hasConceptScore W144241110C2776235265 @default.
- W144241110 hasConceptScore W144241110C2777686260 @default.
- W144241110 hasConceptScore W144241110C2777721189 @default.
- W144241110 hasConceptScore W144241110C2780069185 @default.
- W144241110 hasConceptScore W144241110C2984882572 @default.
- W144241110 hasConceptScore W144241110C33923547 @default.
- W144241110 hasConceptScore W144241110C39920170 @default.
- W144241110 hasConceptScore W144241110C41008148 @default.
- W144241110 hasConceptScore W144241110C62073222 @default.
- W144241110 hasConceptScore W144241110C71924100 @default.
- W144241110 hasConceptScore W144241110C80444323 @default.
- W144241110 hasLocation W1442411101 @default.
- W144241110 hasLocation W1442411102 @default.
- W144241110 hasOpenAccess W144241110 @default.
- W144241110 hasPrimaryLocation W1442411101 @default.
- W144241110 hasRelatedWork W1506255920 @default.
- W144241110 hasRelatedWork W1605178040 @default.
- W144241110 hasRelatedWork W1836725053 @default.
- W144241110 hasRelatedWork W1973054120 @default.
- W144241110 hasRelatedWork W2014195574 @default.
- W144241110 hasRelatedWork W2048880957 @default.
- W144241110 hasRelatedWork W2088350978 @default.
- W144241110 hasRelatedWork W2143415975 @default.
- W144241110 hasRelatedWork W2268143451 @default.
- W144241110 hasRelatedWork W2286688895 @default.
- W144241110 hasRelatedWork W2374581741 @default.
- W144241110 hasRelatedWork W241023240 @default.
- W144241110 hasRelatedWork W2461509449 @default.