1991
Process expressions and Hoare's logic: showing an irreconcilability of context-free recursion with Scott's induction rule
Publication
Publication
Information and Computation , Volume 95 - Issue 2 p. 192- 217
Additional Metadata | |
---|---|
, , | |
Academic Press | |
Information and Computation | |
Ponse, A. (1991). Process expressions and Hoare's logic: showing an irreconcilability of context-free recursion with Scott's induction rule. Information and Computation, 95(2), 192–217. |