A Structural Induction Theorem for Processes
- 1 February 1995
- journal article
- Published by Elsevier in Information and Computation
- Vol. 117 (1) , 1-11
- https://doi.org/10.1006/inco.1995.1024
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: