FRINK Linked Data Fragments server

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

• W1582760478 abstract "We show how epistemic logic may be used to reason about concurrent programs. Starting out from Halpern & Moses' interpretation of knowledge in the context of distributed systems, where they use the interleaving model, we extend this to a setting where also truly concurrent computations can be modelled, viz. posets of action labels. Moreover, and more importantly, we prepare grounds for the verification of concurrent programs. We focus on a variant of the well-known 1978-version of Hoare's Concurrent Sequential Processes (CSP) to see how the details work out for a concrete and simple language." @default.
• W1582760478 created "2016-06-24" @default.
• W1582760478 creator A5061257841 @default.
• W1582760478 creator A5067561403 @default.
• W1582760478 creator A5087422732 @default.
• W1582760478 date "1993-01-01" @default.
• W1582760478 modified "2023-09-23" @default.
• W1582760478 title "Towards an epistemic approach to reasoning about concurrent programs" @default.
• W1582760478 cites W1512867836 @default.
• W1582760478 cites W1583096938 @default.
• W1582760478 cites W1769219634 @default.
• W1582760478 cites W1984831616 @default.
• W1582760478 cites W1988699312 @default.
• W1582760478 cites W1994227541 @default.
• W1582760478 cites W2000176482 @default.
• W1582760478 cites W2022205872 @default.
• W1582760478 cites W2073981447 @default.
• W1582760478 cites W2084421932 @default.
• W1582760478 cites W2470948957 @default.
• W1582760478 cites W4211008702 @default.
• W1582760478 doi "https://doi.org/10.1007/3-540-56596-5_37" @default.
• W1582760478 hasPublicationYear "1993" @default.
• W1582760478 type Work @default.
• W1582760478 sameAs 1582760478 @default.
• W1582760478 citedByCount "3" @default.
• W1582760478 countsByYear W15827604782013 @default.
• W1582760478 crossrefType "book-chapter" @default.
• W1582760478 hasAuthorship W1582760478A5061257841 @default.
• W1582760478 hasAuthorship W1582760478A5067561403 @default.
• W1582760478 hasAuthorship W1582760478A5087422732 @default.
• W1582760478 hasConcept C102993220 @default.
• W1582760478 hasConcept C107247716 @default.
• W1582760478 hasConcept C111472728 @default.
• W1582760478 hasConcept C111919701 @default.
• W1582760478 hasConcept C120665830 @default.
• W1582760478 hasConcept C121332964 @default.
• W1582760478 hasConcept C138885662 @default.
• W1582760478 hasConcept C151730666 @default.
• W1582760478 hasConcept C154945302 @default.
• W1582760478 hasConcept C15744967 @default.
• W1582760478 hasConcept C188147891 @default.
• W1582760478 hasConcept C192209626 @default.
• W1582760478 hasConcept C193702766 @default.
• W1582760478 hasConcept C199360897 @default.
• W1582760478 hasConcept C203659156 @default.
• W1582760478 hasConcept C2779343474 @default.
• W1582760478 hasConcept C2780586882 @default.
• W1582760478 hasConcept C2780791683 @default.
• W1582760478 hasConcept C28034677 @default.
• W1582760478 hasConcept C41008148 @default.
• W1582760478 hasConcept C527412718 @default.
• W1582760478 hasConcept C62520636 @default.
• W1582760478 hasConcept C80444323 @default.
• W1582760478 hasConcept C86803240 @default.
• W1582760478 hasConceptScore W1582760478C102993220 @default.
• W1582760478 hasConceptScore W1582760478C107247716 @default.
• W1582760478 hasConceptScore W1582760478C111472728 @default.
• W1582760478 hasConceptScore W1582760478C111919701 @default.
• W1582760478 hasConceptScore W1582760478C120665830 @default.
• W1582760478 hasConceptScore W1582760478C121332964 @default.
• W1582760478 hasConceptScore W1582760478C138885662 @default.
• W1582760478 hasConceptScore W1582760478C151730666 @default.
• W1582760478 hasConceptScore W1582760478C154945302 @default.
• W1582760478 hasConceptScore W1582760478C15744967 @default.
• W1582760478 hasConceptScore W1582760478C188147891 @default.
• W1582760478 hasConceptScore W1582760478C192209626 @default.
• W1582760478 hasConceptScore W1582760478C193702766 @default.
• W1582760478 hasConceptScore W1582760478C199360897 @default.
• W1582760478 hasConceptScore W1582760478C203659156 @default.
• W1582760478 hasConceptScore W1582760478C2779343474 @default.
• W1582760478 hasConceptScore W1582760478C2780586882 @default.
• W1582760478 hasConceptScore W1582760478C2780791683 @default.
• W1582760478 hasConceptScore W1582760478C28034677 @default.
• W1582760478 hasConceptScore W1582760478C41008148 @default.
• W1582760478 hasConceptScore W1582760478C527412718 @default.
• W1582760478 hasConceptScore W1582760478C62520636 @default.
• W1582760478 hasConceptScore W1582760478C80444323 @default.
• W1582760478 hasConceptScore W1582760478C86803240 @default.
• W1582760478 hasLocation W15827604781 @default.
• W1582760478 hasOpenAccess W1582760478 @default.
• W1582760478 hasPrimaryLocation W15827604781 @default.
• W1582760478 hasRelatedWork W107040879 @default.
• W1582760478 hasRelatedWork W1468742577 @default.
• W1582760478 hasRelatedWork W1480998494 @default.
• W1582760478 hasRelatedWork W1497457498 @default.
• W1582760478 hasRelatedWork W156148463 @default.
• W1582760478 hasRelatedWork W1578725873 @default.
• W1582760478 hasRelatedWork W1590018361 @default.
• W1582760478 hasRelatedWork W1998133185 @default.
• W1582760478 hasRelatedWork W2022951178 @default.
• W1582760478 hasRelatedWork W2062205093 @default.
• W1582760478 hasRelatedWork W2138358868 @default.
• W1582760478 hasRelatedWork W2162156616 @default.
• W1582760478 hasRelatedWork W2203985683 @default.
• W1582760478 hasRelatedWork W2551973123 @default.
• W1582760478 hasRelatedWork W2593163751 @default.
• W1582760478 hasRelatedWork W2741122214 @default.
• W1582760478 hasRelatedWork W2984736139 @default.
• W1582760478 hasRelatedWork W3149708120 @default.
• W1582760478 hasRelatedWork W50583512 @default.

• next