Matches in SemOpenAlex for { <https://semopenalex.org/work/W3187443357> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3187443357 abstract "The true concurrency models, and in particular event structures, have been introduced in the 1980s as an alternative to operational interleaving semantics of concurrency, and nowadays they are regaining popularity. Event structures represent the causal dependency and conflict between the individual atomic actions of the system directly. This property leads to a more compact and concise representation of semantics. In this work-in-progress report, we present a theory of event structures mechanized in the COQ proof assistant and demonstrate how it can be applied to define certified executable semantics of a simple parallel register machine with shared memory." @default.
- W3187443357 created "2021-08-16" @default.
- W3187443357 creator A5010936135 @default.
- W3187443357 creator A5025721813 @default.
- W3187443357 creator A5040282207 @default.
- W3187443357 creator A5046464780 @default.
- W3187443357 date "2021-01-01" @default.
- W3187443357 modified "2023-09-25" @default.
- W3187443357 title "Mechanized Theory of Event Structures: A Case of Parallel Register Machine" @default.
- W3187443357 doi "https://doi.org/10.15514/ispras-2021-33(3)-11" @default.
- W3187443357 hasPublicationYear "2021" @default.
- W3187443357 type Work @default.
- W3187443357 sameAs 3187443357 @default.
- W3187443357 citedByCount "0" @default.
- W3187443357 crossrefType "journal-article" @default.
- W3187443357 hasAuthorship W3187443357A5010936135 @default.
- W3187443357 hasAuthorship W3187443357A5025721813 @default.
- W3187443357 hasAuthorship W3187443357A5040282207 @default.
- W3187443357 hasAuthorship W3187443357A5046464780 @default.
- W3187443357 hasBestOaLocation W31874433571 @default.
- W3187443357 hasConcept C105795698 @default.
- W3187443357 hasConcept C111472728 @default.
- W3187443357 hasConcept C111919701 @default.
- W3187443357 hasConcept C121332964 @default.
- W3187443357 hasConcept C138885662 @default.
- W3187443357 hasConcept C156325763 @default.
- W3187443357 hasConcept C184337299 @default.
- W3187443357 hasConcept C189950617 @default.
- W3187443357 hasConcept C193702766 @default.
- W3187443357 hasConcept C199360897 @default.
- W3187443357 hasConcept C2777810175 @default.
- W3187443357 hasConcept C2779662365 @default.
- W3187443357 hasConcept C28034677 @default.
- W3187443357 hasConcept C33923547 @default.
- W3187443357 hasConcept C41008148 @default.
- W3187443357 hasConcept C62520636 @default.
- W3187443357 hasConcept C80444323 @default.
- W3187443357 hasConceptScore W3187443357C105795698 @default.
- W3187443357 hasConceptScore W3187443357C111472728 @default.
- W3187443357 hasConceptScore W3187443357C111919701 @default.
- W3187443357 hasConceptScore W3187443357C121332964 @default.
- W3187443357 hasConceptScore W3187443357C138885662 @default.
- W3187443357 hasConceptScore W3187443357C156325763 @default.
- W3187443357 hasConceptScore W3187443357C184337299 @default.
- W3187443357 hasConceptScore W3187443357C189950617 @default.
- W3187443357 hasConceptScore W3187443357C193702766 @default.
- W3187443357 hasConceptScore W3187443357C199360897 @default.
- W3187443357 hasConceptScore W3187443357C2777810175 @default.
- W3187443357 hasConceptScore W3187443357C2779662365 @default.
- W3187443357 hasConceptScore W3187443357C28034677 @default.
- W3187443357 hasConceptScore W3187443357C33923547 @default.
- W3187443357 hasConceptScore W3187443357C41008148 @default.
- W3187443357 hasConceptScore W3187443357C62520636 @default.
- W3187443357 hasConceptScore W3187443357C80444323 @default.
- W3187443357 hasLocation W31874433571 @default.
- W3187443357 hasOpenAccess W3187443357 @default.
- W3187443357 hasPrimaryLocation W31874433571 @default.
- W3187443357 hasRelatedWork W11885555 @default.
- W3187443357 hasRelatedWork W12837821 @default.
- W3187443357 hasRelatedWork W14760143 @default.
- W3187443357 hasRelatedWork W3157107 @default.
- W3187443357 hasRelatedWork W385118 @default.
- W3187443357 hasRelatedWork W4979087 @default.
- W3187443357 hasRelatedWork W5198760 @default.
- W3187443357 hasRelatedWork W5253394 @default.
- W3187443357 hasRelatedWork W7030020 @default.
- W3187443357 hasRelatedWork W7208704 @default.
- W3187443357 isParatext "false" @default.
- W3187443357 isRetracted "false" @default.
- W3187443357 magId "3187443357" @default.
- W3187443357 workType "article" @default.