AuthorsS. Gjessing
TitleSemantics and Verification of Monitors and Systems of Monitors and Processes
StatusPublished
Publication TypeJournal Article
Year of Publication1988
JournalDistributed Computing
Volume2,
Citation KeyND.4.Gjessing.1988