Loading...
Please wait, while we are loading the content...
Similar Documents
Programming Research Group a Refinement Calculus for Communicating Processes with State a Reenement Calculus for Communicating Processes with State
| Content Provider | Semantic Scholar |
|---|---|
| Author | J. W. Sanders P. R. G. |
| Copyright Year | 1995 |
| Abstract | A uniform treatment is presented of speciications, programs, and programming for communicating processes with machine state. The treatment is based on addition of a speciication statement to a CSP-like language. The extended language is viewed as a speciication language in which programs are identiied with a subclass of speciications. A semantics is provided and sound reenement laws given to support the development of programs from speciications. The result is a homogeneous framework for the speciication and development of parallel programs which, as usual, guarantees functional cor-rectness of an implementation as a consequence of development using its laws. An example is given to demonstrate use of the method. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |