Skip to content

A Fully Abstract Semantics for Concurrent Graph Reduction

Alan Jeffrey

VenueA*LICS
Year1994
ProceedingsLICS

Browse the full LICS paper archive.