Matches in SemOpenAlex for { <https://semopenalex.org/work/W1523613381> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1523613381 abstract "This paper focusses on the mathematical theory of state-based reasoning about program constructs solely through specifications of their parts, without any reliance on their implementation mechanism. That is, the semantic foundations of compositional state-based reasoning about concurrency. The main advantages of a purely semantic approach are that: it highlights the very concept of compositional state-based reasoning about concurrency without any syntactic overhead, andit serves as a basis for the encoding of the program semantics and corresponding proof rules inside tools such as PVS which support program verification." @default.
- W1523613381 created "2016-06-24" @default.
- W1523613381 creator A5000911479 @default.
- W1523613381 creator A5058708865 @default.
- W1523613381 date "1998-01-01" @default.
- W1523613381 modified "2023-09-25" @default.
- W1523613381 title "Compositional proof methods for concurrency: A semantic approach" @default.
- W1523613381 cites W1498414460 @default.
- W1523613381 cites W4251912342 @default.
- W1523613381 doi "https://doi.org/10.1007/3-540-49213-5_25" @default.
- W1523613381 hasPublicationYear "1998" @default.
- W1523613381 type Work @default.
- W1523613381 sameAs 1523613381 @default.
- W1523613381 citedByCount "4" @default.
- W1523613381 countsByYear W15236133812013 @default.
- W1523613381 countsByYear W15236133812014 @default.
- W1523613381 crossrefType "book-chapter" @default.
- W1523613381 hasAuthorship W1523613381A5000911479 @default.
- W1523613381 hasAuthorship W1523613381A5058708865 @default.
- W1523613381 hasConcept C156325763 @default.
- W1523613381 hasConcept C184337299 @default.
- W1523613381 hasConcept C193702766 @default.
- W1523613381 hasConcept C199360897 @default.
- W1523613381 hasConcept C41008148 @default.
- W1523613381 hasConcept C48103436 @default.
- W1523613381 hasConcept C80444323 @default.
- W1523613381 hasConceptScore W1523613381C156325763 @default.
- W1523613381 hasConceptScore W1523613381C184337299 @default.
- W1523613381 hasConceptScore W1523613381C193702766 @default.
- W1523613381 hasConceptScore W1523613381C199360897 @default.
- W1523613381 hasConceptScore W1523613381C41008148 @default.
- W1523613381 hasConceptScore W1523613381C48103436 @default.
- W1523613381 hasConceptScore W1523613381C80444323 @default.
- W1523613381 hasLocation W15236133811 @default.
- W1523613381 hasOpenAccess W1523613381 @default.
- W1523613381 hasPrimaryLocation W15236133811 @default.
- W1523613381 hasRelatedWork W114258657 @default.
- W1523613381 hasRelatedWork W148077463 @default.
- W1523613381 hasRelatedWork W1546568807 @default.
- W1523613381 hasRelatedWork W1589140214 @default.
- W1523613381 hasRelatedWork W1744906681 @default.
- W1523613381 hasRelatedWork W1898728773 @default.
- W1523613381 hasRelatedWork W1941709705 @default.
- W1523613381 hasRelatedWork W2047445439 @default.
- W1523613381 hasRelatedWork W2074635178 @default.
- W1523613381 hasRelatedWork W2076944910 @default.
- W1523613381 hasRelatedWork W2090184196 @default.
- W1523613381 hasRelatedWork W2108193024 @default.
- W1523613381 hasRelatedWork W2111057313 @default.
- W1523613381 hasRelatedWork W2116175020 @default.
- W1523613381 hasRelatedWork W2130164105 @default.
- W1523613381 hasRelatedWork W2136739578 @default.
- W1523613381 hasRelatedWork W2150224578 @default.
- W1523613381 hasRelatedWork W2760670085 @default.
- W1523613381 hasRelatedWork W3174107386 @default.
- W1523613381 hasRelatedWork W635304050 @default.
- W1523613381 isParatext "false" @default.
- W1523613381 isRetracted "false" @default.
- W1523613381 magId "1523613381" @default.
- W1523613381 workType "book-chapter" @default.