Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569249843> ?p ?o ?g. }
- W1569249843 endingPage "22" @default.
- W1569249843 startingPage "1" @default.
- W1569249843 abstract "A survey is given of the main issues in compositional reasoning about state-based parallelism and of the history of their evolution, as reflected in the current literature. Compositional proof techniques are presented as the proof-theoretical analogue of Dijkstra’s hierarchically-structured program development. Machine-support for compositional reasoning, and the relationship between compositionality and modularity are discussed. The issues when compositional reasoning about concurrency is successful, and when it isn’t, are commented upon. Pointers to the other papers in this volume are provided." @default.
- W1569249843 created "2016-06-24" @default.
- W1569249843 creator A5000911479 @default.
- W1569249843 date "1998-01-01" @default.
- W1569249843 modified "2023-09-23" @default.
- W1569249843 title "The Need for Compositional Proof Systems: A Survey" @default.
- W1569249843 cites W120333500 @default.
- W1569249843 cites W1481018260 @default.
- W1569249843 cites W1498414460 @default.
- W1569249843 cites W1553472522 @default.
- W1569249843 cites W1573218854 @default.
- W1569249843 cites W1582831902 @default.
- W1569249843 cites W1597238128 @default.
- W1569249843 cites W1599553588 @default.
- W1569249843 cites W1604320210 @default.
- W1569249843 cites W1759083992 @default.
- W1569249843 cites W1964727056 @default.
- W1569249843 cites W1972316716 @default.
- W1569249843 cites W1975155342 @default.
- W1569249843 cites W1975586790 @default.
- W1569249843 cites W1983475008 @default.
- W1569249843 cites W1984831616 @default.
- W1569249843 cites W1985091167 @default.
- W1569249843 cites W2003164038 @default.
- W1569249843 cites W2009965218 @default.
- W1569249843 cites W2023808162 @default.
- W1569249843 cites W2030590001 @default.
- W1569249843 cites W2035845010 @default.
- W1569249843 cites W2038952689 @default.
- W1569249843 cites W2039019493 @default.
- W1569249843 cites W2039277865 @default.
- W1569249843 cites W2071748540 @default.
- W1569249843 cites W2074882845 @default.
- W1569249843 cites W2080942132 @default.
- W1569249843 cites W2083821803 @default.
- W1569249843 cites W2087075535 @default.
- W1569249843 cites W2090551028 @default.
- W1569249843 cites W2102918824 @default.
- W1569249843 cites W2103444363 @default.
- W1569249843 cites W2113486906 @default.
- W1569249843 cites W2122286070 @default.
- W1569249843 cites W2130025446 @default.
- W1569249843 cites W2132107743 @default.
- W1569249843 cites W2134626988 @default.
- W1569249843 cites W2136651599 @default.
- W1569249843 cites W2141706812 @default.
- W1569249843 cites W2142210186 @default.
- W1569249843 cites W2293400264 @default.
- W1569249843 cites W2914206182 @default.
- W1569249843 cites W2987907651 @default.
- W1569249843 cites W3204486483 @default.
- W1569249843 cites W4206734868 @default.
- W1569249843 cites W4206838659 @default.
- W1569249843 cites W4229788305 @default.
- W1569249843 cites W4251912342 @default.
- W1569249843 cites W589645244 @default.
- W1569249843 doi "https://doi.org/10.1007/3-540-49213-5_1" @default.
- W1569249843 hasPublicationYear "1998" @default.
- W1569249843 type Work @default.
- W1569249843 sameAs 1569249843 @default.
- W1569249843 citedByCount "33" @default.
- W1569249843 countsByYear W15692498432012 @default.
- W1569249843 countsByYear W15692498432013 @default.
- W1569249843 countsByYear W15692498432014 @default.
- W1569249843 countsByYear W15692498432015 @default.
- W1569249843 countsByYear W15692498432016 @default.
- W1569249843 countsByYear W15692498432017 @default.
- W1569249843 countsByYear W15692498432018 @default.
- W1569249843 countsByYear W15692498432020 @default.
- W1569249843 countsByYear W15692498432022 @default.
- W1569249843 countsByYear W15692498432023 @default.
- W1569249843 crossrefType "book-chapter" @default.
- W1569249843 hasAuthorship W1569249843A5000911479 @default.
- W1569249843 hasConcept C108710211 @default.
- W1569249843 hasConcept C121375916 @default.
- W1569249843 hasConcept C132525143 @default.
- W1569249843 hasConcept C154945302 @default.
- W1569249843 hasConcept C173608175 @default.
- W1569249843 hasConcept C173870130 @default.
- W1569249843 hasConcept C193702766 @default.
- W1569249843 hasConcept C199360897 @default.
- W1569249843 hasConcept C22590252 @default.
- W1569249843 hasConcept C2318724 @default.
- W1569249843 hasConcept C2524010 @default.
- W1569249843 hasConcept C2779478453 @default.
- W1569249843 hasConcept C2781172179 @default.
- W1569249843 hasConcept C33923547 @default.
- W1569249843 hasConcept C41008148 @default.
- W1569249843 hasConcept C54355233 @default.
- W1569249843 hasConcept C80444323 @default.
- W1569249843 hasConcept C86803240 @default.
- W1569249843 hasConceptScore W1569249843C108710211 @default.
- W1569249843 hasConceptScore W1569249843C121375916 @default.
- W1569249843 hasConceptScore W1569249843C132525143 @default.
- W1569249843 hasConceptScore W1569249843C154945302 @default.
- W1569249843 hasConceptScore W1569249843C173608175 @default.
- W1569249843 hasConceptScore W1569249843C173870130 @default.
- W1569249843 hasConceptScore W1569249843C193702766 @default.