A logical view of composition
- 14 June 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 114 (1), 3-30
- https://doi.org/10.1016/0304-3975(93)90151-i
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Domain theory in logical form*Annals of Pure and Applied Logic, 1991
- Quantales and (noncommutative) linear logicThe Journal of Symbolic Logic, 1990
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Linear logicTheoretical Computer Science, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981