Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076349161> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2076349161 endingPage "51" @default.
- W2076349161 startingPage "51" @default.
- W2076349161 abstract "Modern CSP is an algebra which describes processes which engage in events. Its characteristic comprehensiveness combined with simplicity arises in large part from the fact that it was originally defined by a denotational semantics. This sets it apart from other process algebras. Part of the simplicity of CSP arises from its high level of abstraction. In particular, conventional CSP abstracts from priority. CSP practitioners occasionally find this awkward, particularly when describing real time systems and in hardware compilation. An extension of CSP is introduced which includes priority without compromising simplicity or abstraction. Furthermore, the extension is built by way of a denotational semantics which is in full sympathy with the spirit of CSP. An unexpected merit of the new semantics is that it solves completely some long standing difficulties in describing infinite behaviour with the conventional denotational semantic models for CSP. Furthermore it provides elegant and simple treatments of termination and divergence in contrast to earlier rather awkward approaches." @default.
- W2076349161 created "2016-06-24" @default.
- W2076349161 creator A5019544122 @default.
- W2076349161 date "2003-01-01" @default.
- W2076349161 modified "2023-09-26" @default.
- W2076349161 title "Extending CSP: denotational semantics" @default.
- W2076349161 cites W109545358 @default.
- W2076349161 cites W2007911006 @default.
- W2076349161 cites W4211008702 @default.
- W2076349161 doi "https://doi.org/10.1049/ip-sen:20030128" @default.
- W2076349161 hasPublicationYear "2003" @default.
- W2076349161 type Work @default.
- W2076349161 sameAs 2076349161 @default.
- W2076349161 citedByCount "2" @default.
- W2076349161 crossrefType "journal-article" @default.
- W2076349161 hasAuthorship W2076349161A5019544122 @default.
- W2076349161 hasConcept C111472728 @default.
- W2076349161 hasConcept C124304363 @default.
- W2076349161 hasConcept C136119220 @default.
- W2076349161 hasConcept C138885662 @default.
- W2076349161 hasConcept C150607116 @default.
- W2076349161 hasConcept C156325763 @default.
- W2076349161 hasConcept C161771561 @default.
- W2076349161 hasConcept C184337299 @default.
- W2076349161 hasConcept C199360897 @default.
- W2076349161 hasConcept C202444582 @default.
- W2076349161 hasConcept C207648694 @default.
- W2076349161 hasConcept C2776372474 @default.
- W2076349161 hasConcept C2778029271 @default.
- W2076349161 hasConcept C2780586882 @default.
- W2076349161 hasConcept C33923547 @default.
- W2076349161 hasConcept C41008148 @default.
- W2076349161 hasConcept C80444323 @default.
- W2076349161 hasConcept C87365073 @default.
- W2076349161 hasConcept C89448276 @default.
- W2076349161 hasConceptScore W2076349161C111472728 @default.
- W2076349161 hasConceptScore W2076349161C124304363 @default.
- W2076349161 hasConceptScore W2076349161C136119220 @default.
- W2076349161 hasConceptScore W2076349161C138885662 @default.
- W2076349161 hasConceptScore W2076349161C150607116 @default.
- W2076349161 hasConceptScore W2076349161C156325763 @default.
- W2076349161 hasConceptScore W2076349161C161771561 @default.
- W2076349161 hasConceptScore W2076349161C184337299 @default.
- W2076349161 hasConceptScore W2076349161C199360897 @default.
- W2076349161 hasConceptScore W2076349161C202444582 @default.
- W2076349161 hasConceptScore W2076349161C207648694 @default.
- W2076349161 hasConceptScore W2076349161C2776372474 @default.
- W2076349161 hasConceptScore W2076349161C2778029271 @default.
- W2076349161 hasConceptScore W2076349161C2780586882 @default.
- W2076349161 hasConceptScore W2076349161C33923547 @default.
- W2076349161 hasConceptScore W2076349161C41008148 @default.
- W2076349161 hasConceptScore W2076349161C80444323 @default.
- W2076349161 hasConceptScore W2076349161C87365073 @default.
- W2076349161 hasConceptScore W2076349161C89448276 @default.
- W2076349161 hasIssue "2" @default.
- W2076349161 hasLocation W20763491611 @default.
- W2076349161 hasOpenAccess W2076349161 @default.
- W2076349161 hasPrimaryLocation W20763491611 @default.
- W2076349161 hasRelatedWork W1576395732 @default.
- W2076349161 hasRelatedWork W1822398681 @default.
- W2076349161 hasRelatedWork W1976029121 @default.
- W2076349161 hasRelatedWork W1990696024 @default.
- W2076349161 hasRelatedWork W2002184929 @default.
- W2076349161 hasRelatedWork W2017152877 @default.
- W2076349161 hasRelatedWork W2035938886 @default.
- W2076349161 hasRelatedWork W2068797114 @default.
- W2076349161 hasRelatedWork W2092481413 @default.
- W2076349161 hasRelatedWork W2092844221 @default.
- W2076349161 hasRelatedWork W2093206756 @default.
- W2076349161 hasRelatedWork W2094604506 @default.
- W2076349161 hasRelatedWork W2110748634 @default.
- W2076349161 hasRelatedWork W2116285023 @default.
- W2076349161 hasRelatedWork W2130056801 @default.
- W2076349161 hasRelatedWork W2140290992 @default.
- W2076349161 hasRelatedWork W2142879216 @default.
- W2076349161 hasRelatedWork W2604895854 @default.
- W2076349161 hasRelatedWork W3139603584 @default.
- W2076349161 hasRelatedWork W93705929 @default.
- W2076349161 hasVolume "150" @default.
- W2076349161 isParatext "false" @default.
- W2076349161 isRetracted "false" @default.
- W2076349161 magId "2076349161" @default.
- W2076349161 workType "article" @default.