Monitors With Arrays of Condition Variables and Proof Rules Handling Local QuantitiesAuthorsS. GjessingStatusPublishedPublication typeJournal ArticleYear of publication1980JournalBITPublisher-Citation key10952Google Scholar BibTex