Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514269921> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1514269921 endingPage "49" @default.
- W1514269921 startingPage "1" @default.
- W1514269921 abstract "We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicateson processes, such as deadlock freedom and determinism, can be added to this theory through first-order definitional extensions. Model theory is used to analyse the discrepancies between identity in the models of the first-order extension of ACP and bisimilarity of the transition systemsextracted from these models, and also the discrepancies between deadlock freedom in the models of a first-order definitional extension of this theory and deadlock freedom of the transition systems extracted from these models. First-order definitions are material to the formalization of an interpretation of one theory about processes in another. We give a comprehensive example of such an interpretation too." @default.
- W1514269921 created "2016-06-24" @default.
- W1514269921 creator A5000183100 @default.
- W1514269921 creator A5032380170 @default.
- W1514269921 date "2004-01-01" @default.
- W1514269921 modified "2023-09-27" @default.
- W1514269921 title "Model Theory for Process Algebra" @default.
- W1514269921 hasPublicationYear "2004" @default.
- W1514269921 type Work @default.
- W1514269921 sameAs 1514269921 @default.
- W1514269921 citedByCount "3" @default.
- W1514269921 crossrefType "journal-article" @default.
- W1514269921 hasAuthorship W1514269921A5000183100 @default.
- W1514269921 hasAuthorship W1514269921A5032380170 @default.
- W1514269921 hasConcept C10138342 @default.
- W1514269921 hasConcept C111472728 @default.
- W1514269921 hasConcept C118615104 @default.
- W1514269921 hasConcept C121332964 @default.
- W1514269921 hasConcept C134306372 @default.
- W1514269921 hasConcept C136119220 @default.
- W1514269921 hasConcept C138885662 @default.
- W1514269921 hasConcept C159023740 @default.
- W1514269921 hasConcept C161771561 @default.
- W1514269921 hasConcept C162324750 @default.
- W1514269921 hasConcept C182306322 @default.
- W1514269921 hasConcept C192183473 @default.
- W1514269921 hasConcept C199360897 @default.
- W1514269921 hasConcept C202444582 @default.
- W1514269921 hasConcept C24890656 @default.
- W1514269921 hasConcept C2778029271 @default.
- W1514269921 hasConcept C2778355321 @default.
- W1514269921 hasConcept C2779782106 @default.
- W1514269921 hasConcept C2780432614 @default.
- W1514269921 hasConcept C33135215 @default.
- W1514269921 hasConcept C33923547 @default.
- W1514269921 hasConcept C41008148 @default.
- W1514269921 hasConcept C47030870 @default.
- W1514269921 hasConcept C527412718 @default.
- W1514269921 hasConcept C80444323 @default.
- W1514269921 hasConcept C9376300 @default.
- W1514269921 hasConceptScore W1514269921C10138342 @default.
- W1514269921 hasConceptScore W1514269921C111472728 @default.
- W1514269921 hasConceptScore W1514269921C118615104 @default.
- W1514269921 hasConceptScore W1514269921C121332964 @default.
- W1514269921 hasConceptScore W1514269921C134306372 @default.
- W1514269921 hasConceptScore W1514269921C136119220 @default.
- W1514269921 hasConceptScore W1514269921C138885662 @default.
- W1514269921 hasConceptScore W1514269921C159023740 @default.
- W1514269921 hasConceptScore W1514269921C161771561 @default.
- W1514269921 hasConceptScore W1514269921C162324750 @default.
- W1514269921 hasConceptScore W1514269921C182306322 @default.
- W1514269921 hasConceptScore W1514269921C192183473 @default.
- W1514269921 hasConceptScore W1514269921C199360897 @default.
- W1514269921 hasConceptScore W1514269921C202444582 @default.
- W1514269921 hasConceptScore W1514269921C24890656 @default.
- W1514269921 hasConceptScore W1514269921C2778029271 @default.
- W1514269921 hasConceptScore W1514269921C2778355321 @default.
- W1514269921 hasConceptScore W1514269921C2779782106 @default.
- W1514269921 hasConceptScore W1514269921C2780432614 @default.
- W1514269921 hasConceptScore W1514269921C33135215 @default.
- W1514269921 hasConceptScore W1514269921C33923547 @default.
- W1514269921 hasConceptScore W1514269921C41008148 @default.
- W1514269921 hasConceptScore W1514269921C47030870 @default.
- W1514269921 hasConceptScore W1514269921C527412718 @default.
- W1514269921 hasConceptScore W1514269921C80444323 @default.
- W1514269921 hasConceptScore W1514269921C9376300 @default.
- W1514269921 hasLocation W15142699211 @default.
- W1514269921 hasOpenAccess W1514269921 @default.
- W1514269921 hasPrimaryLocation W15142699211 @default.
- W1514269921 hasRelatedWork W122411480 @default.
- W1514269921 hasRelatedWork W1511356539 @default.
- W1514269921 hasRelatedWork W1543138809 @default.
- W1514269921 hasRelatedWork W1557351135 @default.
- W1514269921 hasRelatedWork W1977137928 @default.
- W1514269921 hasRelatedWork W2021026222 @default.
- W1514269921 hasRelatedWork W2025341469 @default.
- W1514269921 hasRelatedWork W2029017938 @default.
- W1514269921 hasRelatedWork W2073555326 @default.
- W1514269921 hasRelatedWork W2163870459 @default.
- W1514269921 hasRelatedWork W2223741211 @default.
- W1514269921 hasRelatedWork W2281978270 @default.
- W1514269921 hasRelatedWork W2405110089 @default.
- W1514269921 hasRelatedWork W2578634188 @default.
- W1514269921 hasRelatedWork W2604945379 @default.
- W1514269921 hasRelatedWork W3082089166 @default.
- W1514269921 hasRelatedWork W3144343865 @default.
- W1514269921 hasRelatedWork W81345837 @default.
- W1514269921 hasRelatedWork W2052295798 @default.
- W1514269921 hasRelatedWork W2583486395 @default.
- W1514269921 hasVolume "0424" @default.
- W1514269921 isParatext "false" @default.
- W1514269921 isRetracted "false" @default.
- W1514269921 magId "1514269921" @default.
- W1514269921 workType "article" @default.