Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000726331> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2000726331 abstract "Abstract In previous papers we have presented operational and denotational accounts of the semantics πDemos, a small process-oriented simulation language, based upon Simula and Demos. The operational semantics provide precise formal descriptions of synchronisations and event list mechanisms and can be used to guide implementations and reason about the execution of a specific program. The denotational semantics are at a much higher level. By abstracting away from distributions and queueing disciplines they make it possible to reason about properties, such as deadlock, over all possible runs of a model. In this paper we state and prove a formal relationship which holds between the two forms of semantics, namely that any behaviour permitted by the operational definition can be matched by the denotational account. Hence any properties that can be proved to hold for the behaviours of the denotational account must hold for the limited subset of behaviours observable for the operational account. This permits us to check simulation models expressed in πDemos for well-behavedness (no deadlock, livelock, safe, live, etc.) from the model structure once-and-for-all and prior to making any experimental runs." @default.
- W2000726331 created "2016-06-24" @default.
- W2000726331 creator A5066372559 @default.
- W2000726331 creator A5082048516 @default.
- W2000726331 date "1997-01-01" @default.
- W2000726331 modified "2023-09-24" @default.
- W2000726331 title "Relating operational and denotational descriptions of πDemos" @default.
- W2000726331 cites W1501745438 @default.
- W2000726331 cites W1503973138 @default.
- W2000726331 cites W1559986400 @default.
- W2000726331 cites W15609171 @default.
- W2000726331 cites W1577334466 @default.
- W2000726331 cites W1604811379 @default.
- W2000726331 cites W1607194148 @default.
- W2000726331 cites W2001748564 @default.
- W2000726331 cites W2013672985 @default.
- W2000726331 cites W2036996017 @default.
- W2000726331 cites W2051277798 @default.
- W2000726331 cites W2136920408 @default.
- W2000726331 cites W2137865376 @default.
- W2000726331 cites W2178255682 @default.
- W2000726331 cites W2224048463 @default.
- W2000726331 cites W2340102009 @default.
- W2000726331 cites W2915029105 @default.
- W2000726331 cites W3144368627 @default.
- W2000726331 doi "https://doi.org/10.1016/s0928-4869(97)80777-x" @default.
- W2000726331 hasPublicationYear "1997" @default.
- W2000726331 type Work @default.
- W2000726331 sameAs 2000726331 @default.
- W2000726331 citedByCount "8" @default.
- W2000726331 crossrefType "journal-article" @default.
- W2000726331 hasAuthorship W2000726331A5066372559 @default.
- W2000726331 hasAuthorship W2000726331A5082048516 @default.
- W2000726331 hasConcept C146499914 @default.
- W2000726331 hasConcept C150607116 @default.
- W2000726331 hasConcept C156325763 @default.
- W2000726331 hasConcept C159023740 @default.
- W2000726331 hasConcept C161771561 @default.
- W2000726331 hasConcept C184337299 @default.
- W2000726331 hasConcept C193702766 @default.
- W2000726331 hasConcept C199360897 @default.
- W2000726331 hasConcept C207648694 @default.
- W2000726331 hasConcept C26713055 @default.
- W2000726331 hasConcept C41008148 @default.
- W2000726331 hasConcept C80444323 @default.
- W2000726331 hasConcept C87365073 @default.
- W2000726331 hasConcept C89448276 @default.
- W2000726331 hasConcept C98045186 @default.
- W2000726331 hasConceptScore W2000726331C146499914 @default.
- W2000726331 hasConceptScore W2000726331C150607116 @default.
- W2000726331 hasConceptScore W2000726331C156325763 @default.
- W2000726331 hasConceptScore W2000726331C159023740 @default.
- W2000726331 hasConceptScore W2000726331C161771561 @default.
- W2000726331 hasConceptScore W2000726331C184337299 @default.
- W2000726331 hasConceptScore W2000726331C193702766 @default.
- W2000726331 hasConceptScore W2000726331C199360897 @default.
- W2000726331 hasConceptScore W2000726331C207648694 @default.
- W2000726331 hasConceptScore W2000726331C26713055 @default.
- W2000726331 hasConceptScore W2000726331C41008148 @default.
- W2000726331 hasConceptScore W2000726331C80444323 @default.
- W2000726331 hasConceptScore W2000726331C87365073 @default.
- W2000726331 hasConceptScore W2000726331C89448276 @default.
- W2000726331 hasConceptScore W2000726331C98045186 @default.
- W2000726331 hasLocation W20007263311 @default.
- W2000726331 hasOpenAccess W2000726331 @default.
- W2000726331 hasPrimaryLocation W20007263311 @default.
- W2000726331 hasRelatedWork W1508065823 @default.
- W2000726331 hasRelatedWork W1542106392 @default.
- W2000726331 hasRelatedWork W1560059937 @default.
- W2000726331 hasRelatedWork W1566649608 @default.
- W2000726331 hasRelatedWork W1574023018 @default.
- W2000726331 hasRelatedWork W1589797855 @default.
- W2000726331 hasRelatedWork W1996897469 @default.
- W2000726331 hasRelatedWork W2004608305 @default.
- W2000726331 hasRelatedWork W2032662616 @default.
- W2000726331 hasRelatedWork W2034971125 @default.
- W2000726331 hasRelatedWork W2073345936 @default.
- W2000726331 hasRelatedWork W2084557509 @default.
- W2000726331 hasRelatedWork W2090181771 @default.
- W2000726331 hasRelatedWork W2105385305 @default.
- W2000726331 hasRelatedWork W2137531661 @default.
- W2000726331 hasRelatedWork W2245685274 @default.
- W2000726331 hasRelatedWork W2604205215 @default.
- W2000726331 hasRelatedWork W2767476389 @default.
- W2000726331 hasRelatedWork W2796968722 @default.
- W2000726331 hasRelatedWork W52303349 @default.
- W2000726331 isParatext "false" @default.
- W2000726331 isRetracted "false" @default.
- W2000726331 magId "2000726331" @default.
- W2000726331 workType "article" @default.