First Page | Document Content | |
---|---|---|
Date: 2013-09-23 13:44:35Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal | A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999Add to Reading ListSource URL: www.olejohandahl.infoDownload Document from Source WebsiteFile Size: 133,98 KBShare Document on Facebook |