A proof-theoretic characterization of observational equivalence
- 1 January 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 39, 27-45
- https://doi.org/10.1016/0304-3975(85)90129-x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Towards the hierarchical, temporal logic, specification of concurrent systemsPublished by Springer Nature ,1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983