Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016663929> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3016663929 endingPage "38" @default.
- W3016663929 startingPage "21" @default.
- W3016663929 abstract "Abstract One important application of quantum process algebras is to formally verify quantum communication protocols. With a suitable notion of behavioural equivalence and a decision method, one can determine if an implementation of a protocol is consistent with its specification. Ground bisimulation is a convenient behavioural equivalence for quantum processes because of its associated coinduction proof technique. We exploit this technique to design and implement two on-the-fly algorithms for the strong and weak versions of ground bisimulation to check if two given processes in quantum CCS are equivalent. We then develop a tool that can verify interesting quantum protocols such as the BB84 quantum key distribution scheme." @default.
- W3016663929 created "2020-04-24" @default.
- W3016663929 creator A5008594685 @default.
- W3016663929 creator A5018148937 @default.
- W3016663929 creator A5022036342 @default.
- W3016663929 date "2020-01-01" @default.
- W3016663929 modified "2023-09-27" @default.
- W3016663929 title "Verifying Quantum Communication Protocols with Ground Bisimulation" @default.
- W3016663929 cites W1037179907 @default.
- W3016663929 cites W1153205426 @default.
- W3016663929 cites W1430738455 @default.
- W3016663929 cites W1686392640 @default.
- W3016663929 cites W1855444172 @default.
- W3016663929 cites W1963619740 @default.
- W3016663929 cites W1974158938 @default.
- W3016663929 cites W1999626800 @default.
- W3016663929 cites W1999702075 @default.
- W3016663929 cites W2003803711 @default.
- W3016663929 cites W2027689693 @default.
- W3016663929 cites W2044210134 @default.
- W3016663929 cites W2052146120 @default.
- W3016663929 cites W2064622659 @default.
- W3016663929 cites W2071764857 @default.
- W3016663929 cites W2076218011 @default.
- W3016663929 cites W2112989388 @default.
- W3016663929 cites W2155207581 @default.
- W3016663929 cites W2482129511 @default.
- W3016663929 cites W2495188503 @default.
- W3016663929 cites W2901382944 @default.
- W3016663929 cites W2913663755 @default.
- W3016663929 cites W2950993906 @default.
- W3016663929 doi "https://doi.org/10.1007/978-3-030-45237-7_2" @default.
- W3016663929 hasPublicationYear "2020" @default.
- W3016663929 type Work @default.
- W3016663929 sameAs 3016663929 @default.
- W3016663929 citedByCount "1" @default.
- W3016663929 countsByYear W30166639292022 @default.
- W3016663929 crossrefType "book-chapter" @default.
- W3016663929 hasAuthorship W3016663929A5008594685 @default.
- W3016663929 hasAuthorship W3016663929A5018148937 @default.
- W3016663929 hasAuthorship W3016663929A5022036342 @default.
- W3016663929 hasBestOaLocation W30166639291 @default.
- W3016663929 hasConcept C118615104 @default.
- W3016663929 hasConcept C121332964 @default.
- W3016663929 hasConcept C135315306 @default.
- W3016663929 hasConcept C142724271 @default.
- W3016663929 hasConcept C144901912 @default.
- W3016663929 hasConcept C169699857 @default.
- W3016663929 hasConcept C204787440 @default.
- W3016663929 hasConcept C2780069185 @default.
- W3016663929 hasConcept C2780385302 @default.
- W3016663929 hasConcept C33923547 @default.
- W3016663929 hasConcept C41008148 @default.
- W3016663929 hasConcept C62520636 @default.
- W3016663929 hasConcept C71924100 @default.
- W3016663929 hasConcept C78203541 @default.
- W3016663929 hasConcept C80444323 @default.
- W3016663929 hasConcept C84114770 @default.
- W3016663929 hasConcept C95466800 @default.
- W3016663929 hasConceptScore W3016663929C118615104 @default.
- W3016663929 hasConceptScore W3016663929C121332964 @default.
- W3016663929 hasConceptScore W3016663929C135315306 @default.
- W3016663929 hasConceptScore W3016663929C142724271 @default.
- W3016663929 hasConceptScore W3016663929C144901912 @default.
- W3016663929 hasConceptScore W3016663929C169699857 @default.
- W3016663929 hasConceptScore W3016663929C204787440 @default.
- W3016663929 hasConceptScore W3016663929C2780069185 @default.
- W3016663929 hasConceptScore W3016663929C2780385302 @default.
- W3016663929 hasConceptScore W3016663929C33923547 @default.
- W3016663929 hasConceptScore W3016663929C41008148 @default.
- W3016663929 hasConceptScore W3016663929C62520636 @default.
- W3016663929 hasConceptScore W3016663929C71924100 @default.
- W3016663929 hasConceptScore W3016663929C78203541 @default.
- W3016663929 hasConceptScore W3016663929C80444323 @default.
- W3016663929 hasConceptScore W3016663929C84114770 @default.
- W3016663929 hasConceptScore W3016663929C95466800 @default.
- W3016663929 hasLocation W30166639291 @default.
- W3016663929 hasOpenAccess W3016663929 @default.
- W3016663929 hasPrimaryLocation W30166639291 @default.
- W3016663929 hasRelatedWork W1792716048 @default.
- W3016663929 hasRelatedWork W2020465008 @default.
- W3016663929 hasRelatedWork W2025475312 @default.
- W3016663929 hasRelatedWork W2163597529 @default.
- W3016663929 hasRelatedWork W2605402438 @default.
- W3016663929 hasRelatedWork W2809249731 @default.
- W3016663929 hasRelatedWork W2810801093 @default.
- W3016663929 hasRelatedWork W3099174309 @default.
- W3016663929 hasRelatedWork W3101907238 @default.
- W3016663929 hasRelatedWork W4287086458 @default.
- W3016663929 isParatext "false" @default.
- W3016663929 isRetracted "false" @default.
- W3016663929 magId "3016663929" @default.
- W3016663929 workType "book-chapter" @default.