Relevance logic and concurrent composition
Compositionality, i.e. that properties of composite systems are deduced in terms of those of their immediate constituents, is crucial to the tractability and practical usefulness of program logics. A general technique for obtaining this for parallel composition appeals to a relativisation of propert...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1990
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561615 |