Skip to content

A Calculus of Higher Order Communicating Systems.

Bent Thomsen

VenueA*POPL
Year1989
ProceedingsPOPL

Browse the full POPL paper archive.