|
|||||
|
|
On processes, synchronization and redundant code in communicating sequential processes |
|
| Authors: | G. Donnan M. Elizabeth C. Hull |
| Affiliation: | Department of Computing Science, University of Ulster at Jordanstown, Shore Rd, Newtownabbey, Co. Antrim BT37 0QB, Northern Ireland |
| Abstract: | A comparison of the communication aspect of CSP and an implementation COSPOL is presented. This is confined to a specific example employed in a cited paper. The main consideration is the effect that the communication mechanism can have upon the resultant structure of a solution. |
| Keywords: | Process communication Synchronization Nondeterminacy Program structure |
| 本文献已被 ScienceDirect 等数据库收录！ | |