Full Abstraction for a Functional/Concurrent Language with Higher-Order Value-Passing (1998)

by C Hartonas, M Hennessy
Venue:Information and Computation