Process expressions and Hoare's logic: Showing an irreconcilability of context-free recursion with Scott's induction rule
- 1 December 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 95 (2) , 192-217
- https://doi.org/10.1016/0890-5401(91)90044-3
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- Ten years of Hoare's logic: A survey— part II: NondeterminismTheoretical Computer Science, 1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981