Specification & Verification of Higher Order Processes.

Michael R. Hansen, Zhou Chaochen

Browse the full MFCS paper archive.