SOS for Higher Order Processes.

Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers

Browse the full CONCUR paper archive.