Various simulations and refinements
Authors:
H. Jifeng
Affiliations:
-
Venue:
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Year:
1990
Citing
0
Cited
1
Refinement and state machine abstraction
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract