An Axiomatic Semantics of Concurrent Processes and MonitorsAuthorsS. GjessingStatusPublishedPublication typeTechnical ReportsYear of publication1985Journal-PublisherDepartment of Informatics, University of OsloCitation key12987Google Scholar BibTex