Skip to content

A Logical Theory of Concurrent Objects.

Jos Meseguer

VenueAOOPSLA
Year1990
ProceedingsOOPSLA/ECOOP

Browse the full OOPSLA paper archive.