Programming and verifying asynchronous systems
The basic COSY (COncurrent SYstems) notation [LSB79b] is briefly presented. Programs in this notation abstractly specify the synchronic aspects of concurrent systems and are possessed of behavioural semantics, which are capable of expressing concurrency and which also provide a firm mathematical fou...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
1982
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.344314 |