Loading...
Please wait, while we are loading the content...
Similar Documents
CSP-OZ: a combination of object-Z and CSP
| Content Provider | Semantic Scholar |
|---|---|
| Author | Fischer, Clemens |
| Copyright Year | 1997 |
| Abstract | In this paper we define a combination of Object-Z and CSP called CSP-OZ. The basic idea is to define a CSP-semantics for every Object-Z class. Special care is taken to capture the characteristics of input and output parameters properly and to preserve the expected refinement rules. |
| Starting Page | 423 |
| Ending Page | 438 |
| Page Count | 16 |
| File Format | PDF HTM / HTML |
| DOI | 10.1007/978-0-387-35261-9_29 |
| Alternate Webpage(s) | http://csd.informatik.uni-oldenburg.de/pub/Papers/fischer/trcf-97-2.ps |
| Alternate Webpage(s) | http://theoretica.informatik.uni-oldenburg.de/~fischer/trcf-97-2.ps |
| Alternate Webpage(s) | https://doi.org/10.1007/978-0-387-35261-9_29 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |