Skip to content

Denotational Semantics of Concurrent Programs with Shared Memory.

Manfred Broy

VenueASTACS
Year1984
ProceedingsSTACS

Browse the full STACS paper archive.