Full Abstraction for a Simple Parallel Programming Language (1979)

by M. C. B. Hennessy , G. D. Plotkin
Venue:LNCS
Citations:90 - 16 self