Partially ordered computations with applications to VLSI design, in: Proc. 4th Advanced course on Found (1983)

by M Rem
Venue:of Comp. Sci. part 2, eds J.W. de Bakker & J. van Leeuwen, MC Tract 159, Mathematical Centre