Type and behaviour reconstruction for higher-order concurrent programs

• 1 May 1997
• journal article
• Published by Cambridge University Press (CUP) in Journal of Functional Programming
• Vol. 7  (3) , 321-347
• https://doi.org/10.1017/s0956796897002700

Abstract