Computing Ready Simulations Efficiently (1992)

by B Bloom, R Paige
Venue:in Proc. First North American Process Algebra Workshop