A structural induction theorem for processes
Work
Year: 1989
Type: article
Abstract: Article Free Access Share on A structural induction theorem for processes Authors: R. P. Kurshan AT&T Bell Laboratories, Murray Hill, NJ AT&T Bell Laboratories, Murray Hill, NJView Profile , K. McMill... more
Institutions Nokia (United States), Carnegie Mellon University
Cites: 7
Cited by: 163
Related to: 10
FWCI: 4.136
Citation percentile (by year/subfield): 94.56
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze