Book
Termination without $\checkmark$ in CSP
| Τίτλος: | Termination without $\checkmark$ in CSP |
|---|---|
| Συγγραφείς: | Steve Dunne |
| Πηγή: | Lecture Notes in Computer Science ISBN: 9783642214363 |
| Στοιχεία εκδότη: | Springer Berlin Heidelberg, 2011. |
| Έτος έκδοσης: | 2011 |
| Περιγραφή: | We recast each of the three standard denotational models of CSP, namely Traces, Stable Failures and Failures-Divergences, by replacing the \(\checkmark\) pseudo-event in each of them by an explicit representation of the termination traces of a process. The resulting recast models have simpler axiomatisations than their respective original counterparts and admit formulations of the compositional semantics of the basic processes and operators of CSP which are arguably clearer and therefore more intuitively appealing than those in the original models. Furthermore, the recast models facilitate the resolution of certain longstanding problematic issues, such as the offering of termination in an external choice alongside other behaviours, without resort to any incongruous special-casing which might compromise their regularity. |
| Τύπος εγγράφου: | Part of book or chapter of book Article |
| DOI: | 10.1007/978-3-642-21437-0_22 |
| Σύνδεσμος πρόσβασης: | https://link.springer.com/content/pdf/10.1007%2F978-3-642-21437-0_22.pdf https://rd.springer.com/chapter/10.1007/978-3-642-21437-0_22 https://link.springer.com/chapter/10.1007/978-3-642-21437-0_22 |
| Rights: | Springer TDM |
| Αριθμός Καταχώρησης: | edsair.doi.dedup.....3cba932b261a4dd4c36eae607c5d0673 |
| Βάση Δεδομένων: | OpenAIRE |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edsair DbLabel: OpenAIRE An: edsair.doi.dedup.....3cba932b261a4dd4c36eae607c5d0673 RelevancyScore: 779 AccessLevel: 3 PubType: Book PubTypeId: book PreciseRelevancyScore: 779.180358886719 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Termination without $\checkmark$ in CSP – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Steve+Dunne%22">Steve Dunne</searchLink> – Name: TitleSource Label: Source Group: Src Data: Lecture Notes in Computer Science ISBN: 9783642214363 – Name: Publisher Label: Publisher Information Group: PubInfo Data: Springer Berlin Heidelberg, 2011. – Name: DatePubCY Label: Publication Year Group: Date Data: 2011 – Name: Abstract Label: Description Group: Ab Data: We recast each of the three standard denotational models of CSP, namely Traces, Stable Failures and Failures-Divergences, by replacing the \(\checkmark\) pseudo-event in each of them by an explicit representation of the termination traces of a process. The resulting recast models have simpler axiomatisations than their respective original counterparts and admit formulations of the compositional semantics of the basic processes and operators of CSP which are arguably clearer and therefore more intuitively appealing than those in the original models. Furthermore, the recast models facilitate the resolution of certain longstanding problematic issues, such as the offering of termination in an external choice alongside other behaviours, without resort to any incongruous special-casing which might compromise their regularity. – Name: TypeDocument Label: Document Type Group: TypDoc Data: Part of book or chapter of book<br />Article – Name: DOI Label: DOI Group: ID Data: 10.1007/978-3-642-21437-0_22 – Name: URL Label: Access URL Group: URL Data: <link linkTarget="URL" linkTerm="https://link.springer.com/content/pdf/10.1007%2F978-3-642-21437-0_22.pdf" linkWindow="_blank">https://link.springer.com/content/pdf/10.1007%2F978-3-642-21437-0_22.pdf</link><br /><link linkTarget="URL" linkTerm="https://rd.springer.com/chapter/10.1007/978-3-642-21437-0_22" linkWindow="_blank">https://rd.springer.com/chapter/10.1007/978-3-642-21437-0_22</link><br /><link linkTarget="URL" linkTerm="https://link.springer.com/chapter/10.1007/978-3-642-21437-0_22" linkWindow="_blank">https://link.springer.com/chapter/10.1007/978-3-642-21437-0_22</link> – Name: Copyright Label: Rights Group: Cpyrght Data: Springer TDM – Name: AN Label: Accession Number Group: ID Data: edsair.doi.dedup.....3cba932b261a4dd4c36eae607c5d0673 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsair&AN=edsair.doi.dedup.....3cba932b261a4dd4c36eae607c5d0673 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/978-3-642-21437-0_22 Languages: – Text: Undetermined Titles: – TitleFull: Termination without $\checkmark$ in CSP Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Steve Dunne IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2011 Identifiers: – Type: issn-locals Value: edsair |
| ResultId | 1 |