FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952397880> ?p ?o ?g. }

• W2952397880 abstract "Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open bisimulation, by extending the Hennessy-Milner logic to a quantum setting." @default.
• W2952397880 created "2019-06-27" @default.
• W2952397880 creator A5022036342 @default.
• W2952397880 creator A5022869475 @default.
• W2952397880 date "2012-01-01" @default.
• W2952397880 modified "2023-09-27" @default.
• W2952397880 title "Open Bisimulation for Quantum Processes" @default.
• W2952397880 cites W138290785 @default.
• W2952397880 cites W1503973138 @default.
• W2952397880 cites W1525305151 @default.
• W2952397880 cites W1643301482 @default.
• W2952397880 cites W1828556947 @default.
• W2952397880 cites W1974158938 @default.
• W2952397880 cites W1977542171 @default.
• W2952397880 cites W1978469611 @default.
• W2952397880 cites W1999702075 @default.
• W2952397880 cites W1999810324 @default.
• W2952397880 cites W2002372750 @default.
• W2952397880 cites W2003803711 @default.
• W2952397880 cites W2008838944 @default.
• W2952397880 cites W2020725861 @default.
• W2952397880 cites W2027689693 @default.
• W2952397880 cites W2052170634 @default.
• W2952397880 cites W2064622659 @default.
• W2952397880 cites W2076218011 @default.
• W2952397880 cites W2084652510 @default.
• W2952397880 cites W2098149321 @default.
• W2952397880 cites W2112989388 @default.
• W2952397880 cites W2119122895 @default.
• W2952397880 cites W2144562508 @default.
• W2952397880 cites W2152081604 @default.
• W2952397880 cites W2165701218 @default.
• W2952397880 cites W2334782222 @default.
• W2952397880 cites W2987687226 @default.
• W2952397880 cites W3011907935 @default.
• W2952397880 cites W3021888099 @default.
• W2952397880 cites W3144368627 @default.
• W2952397880 doi "https://doi.org/10.48550/arxiv.1201.0416" @default.
• W2952397880 hasPublicationYear "2012" @default.
• W2952397880 type Work @default.
• W2952397880 sameAs 2952397880 @default.
• W2952397880 citedByCount "3" @default.
• W2952397880 countsByYear W29523978802015 @default.
• W2952397880 countsByYear W29523978802017 @default.
• W2952397880 countsByYear W29523978802018 @default.
• W2952397880 crossrefType "posted-content" @default.
• W2952397880 hasAuthorship W2952397880A5022036342 @default.
• W2952397880 hasAuthorship W2952397880A5022869475 @default.
• W2952397880 hasBestOaLocation W29523978801 @default.
• W2952397880 hasConcept C118615104 @default.
• W2952397880 hasConcept C121332964 @default.
• W2952397880 hasConcept C135315306 @default.
• W2952397880 hasConcept C136137745 @default.
• W2952397880 hasConcept C151730666 @default.
• W2952397880 hasConcept C185592680 @default.
• W2952397880 hasConcept C188027245 @default.
• W2952397880 hasConcept C27508121 @default.
• W2952397880 hasConcept C2780069185 @default.
• W2952397880 hasConcept C33332235 @default.
• W2952397880 hasConcept C33923547 @default.
• W2952397880 hasConcept C41008148 @default.
• W2952397880 hasConcept C62520636 @default.
• W2952397880 hasConcept C71139939 @default.
• W2952397880 hasConcept C77928131 @default.
• W2952397880 hasConcept C80444323 @default.
• W2952397880 hasConcept C84114770 @default.
• W2952397880 hasConcept C86803240 @default.
• W2952397880 hasConceptScore W2952397880C118615104 @default.
• W2952397880 hasConceptScore W2952397880C121332964 @default.
• W2952397880 hasConceptScore W2952397880C135315306 @default.
• W2952397880 hasConceptScore W2952397880C136137745 @default.
• W2952397880 hasConceptScore W2952397880C151730666 @default.
• W2952397880 hasConceptScore W2952397880C185592680 @default.
• W2952397880 hasConceptScore W2952397880C188027245 @default.
• W2952397880 hasConceptScore W2952397880C27508121 @default.
• W2952397880 hasConceptScore W2952397880C2780069185 @default.
• W2952397880 hasConceptScore W2952397880C33332235 @default.
• W2952397880 hasConceptScore W2952397880C33923547 @default.
• W2952397880 hasConceptScore W2952397880C41008148 @default.
• W2952397880 hasConceptScore W2952397880C62520636 @default.
• W2952397880 hasConceptScore W2952397880C71139939 @default.
• W2952397880 hasConceptScore W2952397880C77928131 @default.
• W2952397880 hasConceptScore W2952397880C80444323 @default.
• W2952397880 hasConceptScore W2952397880C84114770 @default.
• W2952397880 hasConceptScore W2952397880C86803240 @default.
• W2952397880 hasLocation W29523978801 @default.
• W2952397880 hasLocation W29523978802 @default.
• W2952397880 hasLocation W29523978803 @default.
• W2952397880 hasLocation W29523978804 @default.
• W2952397880 hasLocation W29523978805 @default.
• W2952397880 hasOpenAccess W2952397880 @default.
• W2952397880 hasPrimaryLocation W29523978801 @default.
• W2952397880 hasRelatedWork W1567765153 @default.
• W2952397880 hasRelatedWork W1582247340 @default.
• W2952397880 hasRelatedWork W2005263036 @default.
• W2952397880 hasRelatedWork W2121753274 @default.
• W2952397880 hasRelatedWork W2153411278 @default.
• W2952397880 hasRelatedWork W2257750885 @default.
• W2952397880 hasRelatedWork W2810752651 @default.
• W2952397880 hasRelatedWork W2950451044 @default.

• next