Recursive process definitions with the state operator
Authors:
J. C. M. Baeten;J. A. Bergstra
Affiliations:
-;-
Venue:
Theoretical Computer Science
Year:
1991
Citing
0
Cited
1
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Quantified Score
Hi-index
5.23
Visualization
Abstract