Skip to content

A general theory of composition for trace sets closed under selective interleaving functions.

John McLean

VenueA*SP
Year1994
ProceedingsS&P

Browse the full SP paper archive.