Matches in SemOpenAlex for { <https://semopenalex.org/work/W2608621010> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2608621010 abstract "This paper presents a new formal method for verification of quantum communication protocols. By extending the symbolic system of Petri nets, we can define quantum pure states in Petri-net settings. Therefore, it is possible to emerge a framework from formalizing basic quantum phenomena, which are utilized to achieve communication tasks. We also present an example of applying this framework to the modeling and analyzing quantum communication protocols to show how it works." @default.
- W2608621010 created "2017-05-05" @default.
- W2608621010 creator A5008766414 @default.
- W2608621010 creator A5035502209 @default.
- W2608621010 creator A5047855118 @default.
- W2608621010 creator A5077737058 @default.
- W2608621010 date "2017-04-24" @default.
- W2608621010 modified "2023-09-24" @default.
- W2608621010 title "Formal verification of quantum communication protocols using Petri nets" @default.
- W2608621010 cites W1603799276 @default.
- W2608621010 cites W1748046724 @default.
- W2608621010 cites W1862398452 @default.
- W2608621010 cites W1974158938 @default.
- W2608621010 cites W1978553093 @default.
- W2608621010 cites W1996109622 @default.
- W2608621010 cites W2003803711 @default.
- W2608621010 cites W2013879218 @default.
- W2608621010 cites W2020725861 @default.
- W2608621010 cites W2031975728 @default.
- W2608621010 cites W2044210134 @default.
- W2608621010 cites W2061240324 @default.
- W2608621010 cites W2071764857 @default.
- W2608621010 cites W2076218011 @default.
- W2608621010 cites W2112989388 @default.
- W2608621010 cites W2113730801 @default.
- W2608621010 cites W2149748279 @default.
- W2608621010 cites W2293156805 @default.
- W2608621010 cites W2952397880 @default.
- W2608621010 cites W2987687226 @default.
- W2608621010 hasPublicationYear "2017" @default.
- W2608621010 type Work @default.
- W2608621010 sameAs 2608621010 @default.
- W2608621010 citedByCount "0" @default.
- W2608621010 crossrefType "posted-content" @default.
- W2608621010 hasAuthorship W2608621010A5008766414 @default.
- W2608621010 hasAuthorship W2608621010A5035502209 @default.
- W2608621010 hasAuthorship W2608621010A5047855118 @default.
- W2608621010 hasAuthorship W2608621010A5077737058 @default.
- W2608621010 hasConcept C111498074 @default.
- W2608621010 hasConcept C120314980 @default.
- W2608621010 hasConcept C121332964 @default.
- W2608621010 hasConcept C12269588 @default.
- W2608621010 hasConcept C199360897 @default.
- W2608621010 hasConcept C2985583900 @default.
- W2608621010 hasConcept C31258907 @default.
- W2608621010 hasConcept C38677869 @default.
- W2608621010 hasConcept C41008148 @default.
- W2608621010 hasConcept C62520636 @default.
- W2608621010 hasConcept C75606506 @default.
- W2608621010 hasConcept C80444323 @default.
- W2608621010 hasConcept C84114770 @default.
- W2608621010 hasConceptScore W2608621010C111498074 @default.
- W2608621010 hasConceptScore W2608621010C120314980 @default.
- W2608621010 hasConceptScore W2608621010C121332964 @default.
- W2608621010 hasConceptScore W2608621010C12269588 @default.
- W2608621010 hasConceptScore W2608621010C199360897 @default.
- W2608621010 hasConceptScore W2608621010C2985583900 @default.
- W2608621010 hasConceptScore W2608621010C31258907 @default.
- W2608621010 hasConceptScore W2608621010C38677869 @default.
- W2608621010 hasConceptScore W2608621010C41008148 @default.
- W2608621010 hasConceptScore W2608621010C62520636 @default.
- W2608621010 hasConceptScore W2608621010C75606506 @default.
- W2608621010 hasConceptScore W2608621010C80444323 @default.
- W2608621010 hasConceptScore W2608621010C84114770 @default.
- W2608621010 hasLocation W26086210101 @default.
- W2608621010 hasOpenAccess W2608621010 @default.
- W2608621010 hasPrimaryLocation W26086210101 @default.
- W2608621010 hasRelatedWork W1442222440 @default.
- W2608621010 hasRelatedWork W1491738330 @default.
- W2608621010 hasRelatedWork W1965711493 @default.
- W2608621010 hasRelatedWork W1968025047 @default.
- W2608621010 hasRelatedWork W1972485214 @default.
- W2608621010 hasRelatedWork W1985079426 @default.
- W2608621010 hasRelatedWork W2070720123 @default.
- W2608621010 hasRelatedWork W2088058063 @default.
- W2608621010 hasRelatedWork W2097823082 @default.
- W2608621010 hasRelatedWork W2105873573 @default.
- W2608621010 hasRelatedWork W2150896797 @default.
- W2608621010 hasRelatedWork W2155196766 @default.
- W2608621010 hasRelatedWork W231013297 @default.
- W2608621010 hasRelatedWork W2611426083 @default.
- W2608621010 hasRelatedWork W2731504544 @default.
- W2608621010 hasRelatedWork W2809375052 @default.
- W2608621010 hasRelatedWork W3037464220 @default.
- W2608621010 hasRelatedWork W3158643737 @default.
- W2608621010 hasRelatedWork W80124474 @default.
- W2608621010 hasRelatedWork W91336491 @default.
- W2608621010 isParatext "false" @default.
- W2608621010 isRetracted "false" @default.
- W2608621010 magId "2608621010" @default.
- W2608621010 workType "article" @default.