Invariants in Systems of Processes and MonitorsAuthorsS. GjessingEditorsB. , D. and R. StatusPublishedPublication typeBook ChapterYear of publication1988JournalDistributed ComputingPublisherNorth HollandCitation key12496Google Scholar BibTex