Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification

A. W. Roscoe

Conference Proceedings

Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification

Roscoe A

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1985) 207 LNCS 103-109

DOI: 10.1007/3-540-16047-7_38

0Citations

1Readers

Get full text

Abstract

In this note we sketch how an abstract mathematical model can be used to specify the two-way channel. We see how theorems proved about the abstract specification suggest designs of processes which satisfy it. The model used can express safety and liveness properties and allows non-determinism. It does not deal with fairness however.

Cite

CITATION STYLE

APA

Roscoe, A. W. (1985). Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 207 LNCS, pp. 103–109). Springer Verlag. https://doi.org/10.1007/3-540-16047-7_38

Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification

Abstract

Cite

Register to see more suggestions