Skip to content

A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract)

Matthew Hennessy

VenueA*LICS
Year1993
ProceedingsLICS

Browse the full LICS paper archive.