Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398594659> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2398594659 abstract "A Proof System for Reasoning about Probabilistic Concurrent Processes" @default.
- W2398594659 created "2016-06-24" @default.
- W2398594659 creator A5020478916 @default.
- W2398594659 date "2018-01-23" @default.
- W2398594659 modified "2023-09-23" @default.
- W2398594659 title "A Proof System for Reasoning about Probabilistic Concurrent Processes" @default.
- W2398594659 cites W1497670448 @default.
- W2398594659 cites W1568149704 @default.
- W2398594659 cites W1568844705 @default.
- W2398594659 cites W1573078772 @default.
- W2398594659 cites W1850900101 @default.
- W2398594659 cites W2081909835 @default.
- W2398594659 cites W2091027967 @default.
- W2398594659 cites W2117183817 @default.
- W2398594659 cites W2135333778 @default.
- W2398594659 cites W2158738638 @default.
- W2398594659 cites W2886203768 @default.
- W2398594659 doi "https://doi.org/10.29007/rcpt" @default.
- W2398594659 hasPublicationYear "2018" @default.
- W2398594659 type Work @default.
- W2398594659 sameAs 2398594659 @default.
- W2398594659 citedByCount "0" @default.
- W2398594659 crossrefType "proceedings-article" @default.
- W2398594659 hasAuthorship W2398594659A5020478916 @default.
- W2398594659 hasBestOaLocation W23985946591 @default.
- W2398594659 hasConcept C108710211 @default.
- W2398594659 hasConcept C111919701 @default.
- W2398594659 hasConcept C124978682 @default.
- W2398594659 hasConcept C154945302 @default.
- W2398594659 hasConcept C199360897 @default.
- W2398594659 hasConcept C2318724 @default.
- W2398594659 hasConcept C2524010 @default.
- W2398594659 hasConcept C33923547 @default.
- W2398594659 hasConcept C41008148 @default.
- W2398594659 hasConcept C49937458 @default.
- W2398594659 hasConcept C80444323 @default.
- W2398594659 hasConceptScore W2398594659C108710211 @default.
- W2398594659 hasConceptScore W2398594659C111919701 @default.
- W2398594659 hasConceptScore W2398594659C124978682 @default.
- W2398594659 hasConceptScore W2398594659C154945302 @default.
- W2398594659 hasConceptScore W2398594659C199360897 @default.
- W2398594659 hasConceptScore W2398594659C2318724 @default.
- W2398594659 hasConceptScore W2398594659C2524010 @default.
- W2398594659 hasConceptScore W2398594659C33923547 @default.
- W2398594659 hasConceptScore W2398594659C41008148 @default.
- W2398594659 hasConceptScore W2398594659C49937458 @default.
- W2398594659 hasConceptScore W2398594659C80444323 @default.
- W2398594659 hasLocation W23985946591 @default.
- W2398594659 hasOpenAccess W2398594659 @default.
- W2398594659 hasPrimaryLocation W23985946591 @default.
- W2398594659 hasRelatedWork W1514660789 @default.
- W2398594659 hasRelatedWork W2004639559 @default.
- W2398594659 hasRelatedWork W2088478514 @default.
- W2398594659 hasRelatedWork W2107244982 @default.
- W2398594659 hasRelatedWork W2114558609 @default.
- W2398594659 hasRelatedWork W2563984327 @default.
- W2398594659 hasRelatedWork W26077777 @default.
- W2398594659 hasRelatedWork W2977767789 @default.
- W2398594659 hasRelatedWork W3080745458 @default.
- W2398594659 hasRelatedWork W4237304917 @default.
- W2398594659 isParatext "false" @default.
- W2398594659 isRetracted "false" @default.
- W2398594659 magId "2398594659" @default.
- W2398594659 workType "article" @default.