Monitors

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Monitors: an operating system structuring concept

Full text

Pdf (857 KB)

Source

Communications of the ACM archive
Volume 17 , Issue 10 (October 1974) table of contents

Pages: 549 - 557

Year of Publication: 1974

ISSN:0001-0782

Author

C. A. R. Hoare

The Queen's Univ. of Belfast, Belfast, Northern Ireland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 193, Downloads (12 Months): 755, Citation Count: 409

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/355620.361161 What is a DOI?

ABSTRACT

This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization, describes a possible method of implementation in terms of semaphores and gives a suitable proof rule. Illustrative examples include a single resource scheduler, a bounded buffer, an alarm clock, a buffer pool, a disk head optimizer, and a version of the problem of readers and writers.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Per Brinch Hansen, Structured multiprogramming, Communications of the ACM, v.15 n.7, p.574-578, July 1972 [doi>10.1145/361454.361473]
	2	Brinch-Hansen, P. "A comparison of two synchronizing concepts," Aeta Information 1 (1972), 190-199.
	3	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	4	P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
	5	Courtois, P.J., Heymans, F., Parnas, D.L. Comments on {2}. Acta lnformatica 1 (1972), 375-376.
	6	Dahl, O.J. Hierarchical program structures. In Structured Programming, Academic Press, New York, 1972.
	7	Dijkstra, E.W. Cooperating Sequential Processes. In Programming Languages (Ed. F. Genuys), Academic Press, New York, 1968.
	8	Dijkstra, E.W. A constructive approach to the problem of program correctness. BIT8 (1968), 174-186.
	9	Dijkstra, E.W. Hierarchical ordering of sequential processes. In Operating Systems Techniques, Academic Press, New York, 1972.
	10	Dijkstra, E.W. Information streams sharing a finite buffer. Information Processing Letters 1, 5 (Oct. 1972), 179-180.
	11	Dijkstra, E.W. A class of allocation strategies inducing bounded delays only. Proc AFIPS 1972 SJCC, Vol. 40, AFIPS Press, Montvale, N.J., pp. 933-936.
	12	Hoare, C.A.R. Towards a theory of parallel programming. In Operathg Systems Techniques, Academic Press, New York, 1972.
	13	Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 1 (1972), 271-281.
	14	Hoare, C.A.R. A structured paging system. Computer J. 16, 3 (1973), 209-215.
	15	Wirth, N. The programming language PASCAL. Acta blformatica 1, 1 (1971), 35-63.

CITED BY 409

	Ashok R. Saxena , Thomas H. Bredt, Verification of a monitor specification, Proceedings of the 2nd international conference on Software engineering, p.53-59, October 13-15, 1976, San Francisco, California, United States
	L. Flon , A. N. Habermann, Towards the construction of verifiable software systems, ACM SIGMOD Record, v.8 n.2, p.141-148, March 1976
	W. S. Ford , V. C. Hamacher, Hardware support for inter-process communication and processor sharing, ACM SIGARCH Computer Architecture News, v.4 n.4, p.113-118, January 1976
	David J. DeWitt, Query execution in DIRECT, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, May 30-June 01, 1979, Boston, Massachusetts
	John E. Faust , Henry M. Levy, The performance of an object-oriented threads package, ACM SIGPLAN Notices, v.25 n.10, p.278-288, Oct. 1990
	Bill Lin, A system design methodology for software/hardware co-development of telecommunication network applications, Proceedings of the 33rd annual conference on Design automation, p.672-677, June 03-07, 1996, Las Vegas, Nevada, United States
	Michal Young , Richard N. Taylor , David L. Levine , Kari A. Nies , Debra Brodbeck, A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.1, p.65-106, Jan. 1995
	James R. McGraw, The VAL Language: Description and Analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.44-82, Jan. 1982
	Leslie J. Waguespack, A structural computer system resource model for teaching computer organization, ACM SIGCSE Bulletin, v.17 n.1, p.63-67, Mar. 1985
	Per Brinch Hansen, Multiprocessor architectures for concurrent programs, ACM SIGARCH Computer Architecture News, v.7 n.4, p.4-23, December 1978
	Robert D. Dixon , David Hemmendinger, Analyzing synchronization problems by using event histories as languages, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.183-188, February 1986, Cincinnati, Ohio, United States
	Eliezer Levy , Abraham Silberschatz, Distributed file systems: concepts and examples, ACM Computing Surveys (CSUR), v.22 n.4, p.321-374, Dec. 1990
	Ole-Johan Dahl, The roots of object orientation: the Simula language, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	L. Boi , P. Michel, An approach to a fault-tolerant system architecture, Proceedings of the 5th annual symposium on Computer architecture, p.123-130, April 03-05, 1978
	William Weihl , Barbara Liskov, Specification and implementation of resilient, atomic data types, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.53-64, June 27-29, 1983, San Francisco, California, United States
	C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
	Khawar M. Zuberi , Padmanabhan Pillai , Kang G. Shin, EMERALDS: a small-memory real-time microkernel, ACM SIGOPS Operating Systems Review, v.33 n.5, p.277-299, Dec. 1999
	Andrew P. Tolmach , Andrew W. Appel, Debuggable concurrency extensions for standard ML, ACM SIGPLAN Notices, v.26 n.12, p.120-131, Dec. 1991
	D. Tsichritzis , E. Fiume , S. Gibbs , O. Nierstrasz, KNOs: KNowledge acquisition, dissemination, and manipulation Objects, ACM Transactions on Information Systems (TOIS), v.5 n.1, p.96-112, Jan. 1987
	Leonard I. Vanek , Rudolf Marty, Hierarchical coroutines a mechanism for improved program structure, Proceedings of the 4th international conference on Software engineering, p.274-285, September 17-19, 1979, Munich, Germany
	Butler W. Lampson, Hints for computer system design, ACM SIGOPS Operating Systems Review, v.17 n.5, p.33-48, October 1983
	W. Wulf , R. Levin , C. Pierson, Overview of the Hydra Operating System development, ACM SIGOPS Operating Systems Review, v.9 n.5, p.122-131, November 1975
	A. Birrell , J. Guttag , J. Horning , R. Levin, Synchronization primitives for a multiprocessor: a formal specification, ACM SIGOPS Operating Systems Review, v.21 n.5, p.94-102, Nov. 1987
	Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States
	David F. Bacon , Robert E. Strom , Ashis Tarafdar, Guava: a dialect of Java without data races, ACM SIGPLAN Notices, v.35 n.10, p.382-400, Oct. 2000
	Peter A. Buhr , Ashif S. Harji , Philipp E. Lim , Jiongxiong Chen, Object-oriented real-time concurrency, ACM SIGPLAN Notices, v.35 n.10, p.29-46, Oct. 2000
	Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
	P. R.F. Cunha , T. S.E. Maibaum, Resource &equil; abstract data type + synchronization - A methodology for message oriented programming -, Proceedings of the 5th international conference on Software engineering, p.263-272, March 09-12, 1981, San Diego, California, United States
	Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.506-539, May 2000
	Donald I. Good , Richard M. Cohen , James Keeton-Williams, Principles of proving concurrent programs in Gypsy, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.42-52, January 29-31, 1979, San Antonio, Texas
	Guy Almes , George Robertson, An extensible file system for hydra, Proceedings of the 3rd international conference on Software engineering, p.288-294, May 10-12, 1978, Atlanta, Georgia, United States
	Andrea Skarra , Herman Rao, A file system interface for concurrent access, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Richard Alan Karp, Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.239-253, April 1984
	Michel Sintzoff , Axel Van Lamsweerde, Constructing correct and efficient concurrent programs, ACM SIGPLAN Notices, v.10 n.6, p.319-326, June 1975
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, ACM SIGPLAN Notices, v.13 n.8, p.245-272, August 1978
	Daniel P. Friedman , David S. Wise, Aspects of applicative programming for file systems (Preliminary Version), ACM SIGSOFT Software Engineering Notes, v.2 n.2, p.41-55, March 1977
	Jack C. Wileden, DREAM - an approach to designing large scale, concurrent software systems, Proceedings of the 1979 annual conference, p.88-94, January 1979
	M. Weiser , A. Demers , C. Hauser, The portable common runtime approach to interoperability, ACM SIGOPS Operating Systems Review, v.23 n.5, p.114-122, Dec. 3–6, 1989
	B. Steensgaard , E. Jul, Object and native code thread mobility among heterogeneous computers (includes sources), ACM SIGOPS Operating Systems Review, v.29 n.5, p.68-77, Dec. 3, 1995
	Guy L. Steele, Jr., Making asynchronous parallelism safe for the world, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.218-231, December 1989, San Francisco, California, United States
	Nicholas Carriero , David Gelernter, How to write parallel programs: a guide to the perplexed, ACM Computing Surveys (CSUR), v.21 n.3, p.323-357, Sep. 1989
	J. Kramer , R. J. Cunningham, Invariants for specifications, Proceedings of the 4th international conference on Software engineering, p.183-193, September 17-19, 1979, Munich, Germany
	C. V. Ravi, A distributed file system, Proceedings of the 1975 annual conference, p.193-197, January 1975
	Jean Bezivin, TimeLock: a concurrent simulation technique and its description in Smalltalk-80, Proceedings of the 19th conference on Winter simulation, p.503-506, December 14-16, 1987, Atlanta, Georgia, United States
	Patricia P. Griffiths , Charles J. Prenner, Verifying formal specifications of synchronous processes, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.192-208, January 19-21, 1976, Atlanta, Georgia
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Resource scheduling: specification and proof techniques, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.429-437, February 1988, Atlanta, Georgia, United States
	David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979
	Ole Agesen , David Detlefs , Alex Garthwaite , Ross Knippel , Y. S. Ramakrishna , Derek White, An efficient meta-lock for implementing ubiquitous synchronization, ACM SIGPLAN Notices, v.34 n.10, p.207-222, Oct. 1999
	Ralph M. Butler , Roger E. Eggen , Susan R. Wallace, Introducing parallel processing at the undergraduate level, ACM SIGCSE Bulletin, v.20 n.1, p.63-67, Feb. 1988
	David Mizell, Verification and design aspects of "true concurrency", Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.171-175, January 23-25, 1978, Tucson, Arizona
	J. Steensgaard-Madsen, A Statement-Oriented Approach to Data Abstraction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.1-10, Jan. 1981
	B. J. Lucier, Performance evaluation for multiprocessors programmed using monitors, ACM SIGMETRICS Performance Evaluation Review, v.16 n.1, p.22-29, May 1988
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Susan Owicki , David Gries, Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, v.19 n.5, p.279-285, May 1976
	Irene Greif , Carl Hewitt, Actor semantics of PLANNER-73, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.67-77, January 20-22, 1975, Palo Alto, California
	Akinori Yonezawa , Jean-Pierre Briot , Etsuya Shibayama, Object-oriented concurrent programming ABCL/1, ACM SIGPLAN Notices, v.21 n.11, p.258-268, Nov. 1986
	John H. Howard, Proving monitors, Communications of the ACM, v.19 n.5, p.273-279, May 1976
	Arie A. Kaufman, System design and implementation of BGRAF2, ACM SIGGRAPH Computer Graphics, v.12 n.3, p.87-92, August 1978
	Dale H. Grit , Rex L. Page, Performance of a multiprocessor for Applicative programs, ACM SIGMETRICS Performance Evaluation Review, v.9 n.2, p.181-189, Summer 1980
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978
	Gregory R. Andrews, Distributed programming languages, Proceedings of the ACM '82 conference, p.113-117, January 1982
	A. Silberschatz , R. B. Kieburtz, The external consistency of abstract data types, ACM SIGPLAN Notices, v.15 n.2, p.64-73, February 1980
	R. M. Mattheyses , S. E. Conry, Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, v.11 n.1, p.215-224, Fall 1979
	H. K. Reghbati , V. C. Hamacher, Hardware support for concurrent programming in loosely coupled multiprocessors, Proceedings of the 5th annual symposium on Computer architecture, p.195-201, April 03-05, 1978
	Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987
	Robert P. Trueblood , H. Rex Hartson , Johannes J. Martin, MULTISAFE—a modular multiprocessing approach to secure database management, ACM Transactions on Database Systems (TODS), v.8 n.3, p.382-409, Sept. 1983
	Franklyn Turbak, First-class synchronization barriers, ACM SIGPLAN Notices, v.31 n.6, p.157-168, June 15, 1996
	Khawar M. Zuberi , Kang G. Shin, EMERALDS: A Small-Memory Real-Time Microkernel, IEEE Transactions on Software Engineering, v.27 n.10, p.909-928, October 2001
	Cormac Flanagan , Shaz Qadeer, Types for atomicity, ACM SIGPLAN Notices, v.38 n.3, March 2003
	Kathryn Heninger Britton , R. Alan Parker , David L. Parnas, A procedure for designing abstract interfaces for device interface modules, Proceedings of the 5th international conference on Software engineering, p.195-204, March 09-12, 1981, San Diego, California, United States
	O. Roux , J. P. Elloy, ELECTRE: A language using control structure expressions to specify synchronization, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.240-245, October 1985, Denver, Colorado, United States
	J. L. W. Kessels, A conceptual framework for a nonprocedural programming language, Communications of the ACM, v.20 n.12, p.906-913, Dec. 1977
	Arvind , Kim P. Gostelow , Wil Plouffe, Indeterminacy, monitors, and dataflow, ACM SIGOPS Operating Systems Review, v.11 n.5, p.159-169, November 1977
	Yasuhiko Yokote , Mario Tokoro, Experience and evolution of concurrent Smalltalk, ACM SIGPLAN Notices, v.22 n.12, p.406-415, Dec. 1987
	Mark S. Laventhal, A constructive approach to reliable synchronization code, Proceedings of the 4th international conference on Software engineering, p.194-202, September 17-19, 1979, Munich, Germany
	Mitchell Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming, p.19-28, August 25-27, 1980, Stanford University, California, United States
	William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985
	Gregory R. Andrews , David P. Dobkin, Active data structures, Proceedings of the 5th international conference on Software engineering, p.354-362, March 09-12, 1981, San Diego, California, United States
	Norman Loongsung Soong, The design of program logic, Proceedings of the 13th conference on Design automation, p.354-365, June 28-30, 1976, San Francisco, California, United States
	E. G. Coffman, Jr. , Erol Gelenbe , Roger C. Wood, Optimal replication of parallel-read, sequential-write systems, ACM SIGMETRICS Performance Evaluation Review, v.9 n.2, p.209-216, Summer 1980
	Per Brinch Hansen, Multiprocessor Architectures For Concurrent Programs, Proceedings of the 1978 annual conference, p.317-323, December 04-06, 1978, Washington, D.C., United States
	Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, ACM SIGPLAN Notices, v.21 n.11, p.78-86, Nov. 1986
	Jürgen F. H. Winkler , Georg Dießl, Object CHILL—an object oriented language for systems implementation, Proceedings of the 1992 ACM annual conference on Communications, p.139-147, March 03-05, 1992, Kansas City, Missouri, United States
	Kai Li , Paul Hudak, Memory coherence in shared virtual memory systems, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.321-359, Nov. 1989
	Tony P. Ng, Using histories to implement atomic objects, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.360-393, Nov. 1989
	Jack B. Dennis, Surveyor's Forum: An Error Recovery, ACM Computing Surveys (CSUR), v.9 n.3, p.254, Sept. 1977
	J. L. W. Kessels, An alternative to event queues for synchronization in monitors, Communications of the ACM, v.20 n.7, p.500-503, July 1977
	Honda Shing , Lionel M. Ni, Resource binding—a universal approach to parallel programming, Proceedings of the 1990 conference on Supercomputing, p.574-583, October 1990, New York, New York, United States
	Michael J.A. Berry, Shared functions and variables as an aid to applications design, ACM SIGAPL APL Quote Quad, v.14 n.4, p.57-62, June 1984
	Paul Barth , Scott Guthery , David Barstow, The stream machine: a data flow architecture for real-time applications, Proceedings of the 8th international conference on Software engineering, p.103-110, August 28-30, 1985, London, England
	James Philbin , Jan Edler , Otto J. Anshus , Craig C. Douglas , Kai Li, Thread scheduling for cache locality, ACM SIGOPS Operating Systems Review, v.30 n.5, p.60-71, Dec. 1996
	Mario A. Figueroa, The control of a toy robot ARM: a real time programming experience, ACM SIGCSE Bulletin, v.19 n.1, p.382-385, Feb. 1987
	K. S. Shankar , C. S. Chandersekaran, Data flow, abstraction levels and specifications for communications switching systems, Proceedings of the 2nd international conference on Software engineering, p.585-591, October 13-15, 1976, San Francisco, California, United States
	Amy L. Lansky , Susan S. Owicki, GEM: A tool for concurrency specification and verification, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.198-212, August 17-19, 1983, Montreal, Quebec, Canada
	Laurent Thomas, A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.1091-1097, March 1992, Kansas City, Missouri, United States
	Geoffrey A. Pascoe, Encapsulators: a new software paradigm in Smalltalk-80, ACM SIGPLAN Notices, v.21 n.11, p.341-346, Nov. 1986
	Stuart R. Faulk , David L. Parnas, On synchronization in hard-real-time systems, Communications of the ACM, v.31 n.3, p.274-287, March 1988
	Chris Hankin , Hanne Riis Nielson , Jens Palsberg, Strategic directions in research on programming languages, ACM Computing Surveys (CSUR), v.28 n.4, p.644-652, Dec. 1996
	Norman Loongsung Soong, A program stability measure, Proceedings of the 1977 annual conference, p.163-173, January 1977
	David E. Boddy, Implementing data abstractions and monitors in UCSD Pascal, ACM SIGPLAN Notices, v.18 n.5, p.15-24, May 1983
	Ahmed Gheith , Karsten Schwan, CHAOSarc: kernel support for multiweight objects, invocations, and atomicity in real-time multiprocessor applications, ACM Transactions on Computer Systems (TOCS), v.11 n.1, p.33-72, Feb. 1993
	Melvin E. Dickover , Clement L. McGowan , Douglas T. Ross, Software design using: SADT, Proceedings of the 1977 annual conference, p.125-133, January 1977
	R. Atkinson , A. Demers , C. Hauser , C. Jacobi , P. Kessler , M. Weiser, Experiences creating a portable cedar, ACM SIGPLAN Notices, v.24 n.7, p.322-329, July 1989
	D. R. Cheriton , G. A. Slavenburg , P. D. Boyle, Software-controlled caches in the VMP multiprocessor, ACM SIGARCH Computer Architecture News, v.14 n.2, p.366-374, June 1986
	Peter A. Buhr , Michel Fortier , Michael H. Coffin, Monitor classification, ACM Computing Surveys (CSUR), v.27 n.1, p.63-107, March 1995
	Dale H. Grit , Dennis D. Georg, A top-down, laboratory based operating system course, ACM SIGCSE Bulletin, v.9 n.1, p.73-76, Feb 1977
	Gregory R. Andrews , James R. McGraw, Language features for process interaction, ACM SIGOPS Operating Systems Review, v.11 n.2, p.114-127, April 1977
	Christos H. Papadimitriou, A theorem in database concurrency control, Journal of the ACM (JACM), v.29 n.4, p.998-1006, Oct. 1982
	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
	Haran Boral , David J. DeWitt, Processor allocation strategies for multiprocessor database machines, ACM Transactions on Database Systems (TODS), v.6 n.2, p.227-254, June 1981
	Stephen J. Hartley, “Alfonse, give me a call!”, ACM SIGCSE Bulletin, v.33 n.1, p.229-232, March 2001
	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa (Summary), Proceedings of the seventh ACM symposium on Operating systems principles, p.43-44, December 10-12, 1979, Pacific Grove, California, United States
	Forest Baskett , John H. Howard , John T. Montague, Task communication in DEMOS, ACM SIGOPS Operating Systems Review, v.11 n.5, p.23-31, November 1977
	Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
	James Noble , David Holmes , John Potter, Exclusion for composite objects, ACM SIGPLAN Notices, v.35 n.10, p.13-28, Oct. 2000
	Minwen Ji , Edward W. Felten , Kai Li, Performance measurements for multithreaded programs, ACM SIGMETRICS Performance Evaluation Review, v.26 n.1, p.161-170, June 1998
	Theodore A. Linden, Operating System Structures to Support Security and Reliable Software, ACM Computing Surveys (CSUR), v.8 n.4, p.409-445, Dec. 1976
	Jorge V. Phillips , Thomas H. Bredt, Design and verification of real-time systems, Proceedings of the 2nd international conference on Software engineering, p.124-131, October 13-15, 1976, San Francisco, California, United States
	Brent Hailpern , Susan Owicki, Modular verification of concurrent programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.322-336, January 25-27, 1982, Albuquerque, Mexico
	Subrata Dasgupta, On the verification of computer architectures using an architecture description language, ACM SIGARCH Computer Architecture News, v.11 n.3, p.32-38, June 1983
	Toby Bloom, Evaluating synchronization mechanisms, Proceedings of the seventh ACM symposium on Operating systems principles, p.24-32, December 10-12, 1979, Pacific Grove, California, United States
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio Serrano, Thin locks: featherweight synchronization for Java, ACM SIGPLAN Notices, v.33 n.5, p.258-268, May 1998
	Donald I. Good , Richard M. Cohen , Lawrence W. Hunter, A Report On The Development Of Gypsy, Proceedings of the 1978 annual conference, p.116-122, December 04-06, 1978, Washington, D.C., United States
	Kevin T. Ryan, Software engineering and simulation, Proceedings of the 11th conference on Winter simulation, p.477-482, December 03-05, 1979, San Diego, CA, United States
	Anders Bjornerstedt , Stefan Britts, AVANCE: an object management system, ACM SIGPLAN Notices, v.23 n.11, p.206-221, Nov. 1988
	Lawrence A. Rowe, Data abstraction from a programming language viewpoint, ACM SIGMOD Record, v.11 n.2, p.29-35, Feb 1981
	Thomas W. Malone , Kevin Crowston, The interdisciplinary study of coordination, ACM Computing Surveys (CSUR), v.26 n.1, p.87-119, March 1994
	Harold W. Lawson, Jr., Function distribution in computer system architectures, ACM SIGARCH Computer Architecture News, v.4 n.4, p.93-97, January 1976
	Richard Snodgrass, Monitoring in a software development environment: A relational approach, ACM SIGPLAN Notices, v.19 n.5, p.124-131, May 1984
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	Philip A. Bernstein , Nathan Goodman, Concurrency Control in Distributed Database Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.185-221, June 1981
	Brian N. Bershad , Edward D. Lazowska , Henry M. Levy , David B. Wagner, An open enviornment for building parallel programming systems, ACM SIGPLAN Notices, v.23 n.9, p.1-9, Sept. 1988
	L. Casey , N. Shelness, A domain structure for distributed computer systems, ACM SIGOPS Operating Systems Review, v.11 n.5, p.101-108, November 1977
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM SIGAda Ada Letters, v.XXII n.2, p.11-44, June 2002
	Michael J. Manthey, A model for and discussion of multi-interpreter systems, Communications of the ACM, v.22 n.5, p.299-309, May 1979
	Christos H. Papadimitriou, On the power of locking, Proceedings of the 1981 ACM SIGMOD international conference on Management of data, April 29-May 01, 1981, Ann Arbor, Michigan
	Jeffrey M. Tobias, A single user multiprocessor incorporating processor manipulation facilities, Proceedings of the 7th annual symposium on Computer Architecture, p.131-138, May 06-08, 1980, La Baule, United States
	Pierre Cointe , Xavier Rodet, Formes: An object and time oriented system for music composition and synthesis, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.85-95, August 06-08, 1984, Austin, Texas, United States
	M. Joseph , V. R. Prasad, More on nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.2, p.21-25, April 1978
	Arne Maus, Technical correspondence: Interlude on signals and semephores revisited, Communications of the ACM, v.21 n.7, p.592, July 1978
	Joost S. M. Verhofstad, Recovery Techniques for Database Systems, ACM Computing Surveys (CSUR), v.10 n.2, p.167-195, June 1978
	O. M. Nierstrasz, Active objects in hybrid, ACM SIGPLAN Notices, v.22 n.12, p.243-253, Dec. 1987
	Peter Wegner, Dimensions of object-based language design, ACM SIGPLAN Notices, v.22 n.12, p.168-182, Dec. 1987
	Maurice P. Herlihy , Jeannette M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.463-492, July 1990
	Per Brinch Hansen, The programming language concurrent Pascal, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, p.14-34, December 1998, Dublin, Ireland
	Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989
	William E. Riddle , Jack C. Wileden , John H. Sayler , Alan R. Segal , Allan M. Stavely, Behavior modelling during software design, Proceedings of the 3rd international conference on Software engineering, p.13-22, May 10-12, 1978, Atlanta, Georgia, United States
	Nan C. Schaller , Michael Berman , Judith Bishop , Paddy Nixon , Evelyn Rozanski , Peter Welch, Using Java in computer science education (panel), The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, p.140-143, June 01-05, 1997, Uppsala, Sweden
	Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992
	Krithivasan Ramamritham , Robert M. Keller, Specifying and proving properties of sentinel processes, Proceedings of the 5th international conference on Software engineering, p.374-382, March 09-12, 1981, San Diego, California, United States
	J. K. Iliffe, Surveyor's Forum: An Error Recovery, ACM Computing Surveys (CSUR), v.9 n.3, p.253-254, Sept. 1977
	Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
	Dong-Ik Oh , T. P. Baker, Optimization of Ada '95 tasking constructs, Proceedings of the conference on TRI-Ada '97, p.79-88, November 09-13, 1997, St. Louis, Missouri, United States
	J. P. Banatre , M. Banatre, Language features for description of cooperating processes, Proceedings of the 4th international conference on Software engineering, p.308-314, September 17-19, 1979, Munich, Germany
	Victor R. Basili , David M. Weiss, Evaluation of a software requirements document by analysis of change data, Proceedings of the 5th international conference on Software engineering, p.314-323, March 09-12, 1981, San Diego, California, United States
	Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993
	Ehud Shapiro, Systems programming in concurrent prolog, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.93-105, January 15-18, 1984, Salt Lake City, Utah, United States
	N. Kamibayashi , H. Ogawana , K. Nagayama , H. Aiso, Heart: An operating system nucleus machine implemented by firmware, ACM SIGPLAN Notices, v.17 n.4, p.195-204, April 1982
	Jin W. Chang, Computer aided software engineering (CASE) based on transformation with object-oriented logic (TOOL), Proceedings of the 1992 ACM annual conference on Communications, p.331-335, March 03-05, 1992, Kansas City, Missouri, United States
	Guy Almes , Andrew Black , Carl Bunje , Douglas Wiebe, EDMAS: A locally distributed mail system, Proceedings of the 7th international conference on Software engineering, p.56-66, March 26-29, 1984, Orlando, Florida, United States
	P. Guillier , D. Slosberg, An architecture with comprehensive facilities of inter-process synchronization and communication, Proceedings of the 7th annual symposium on Computer Architecture, p.264-270, May 06-08, 1980, La Baule, United States
	Wolfgang Hoyer, Intertask communication realized with an interrupt mechanism, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.463-470, October 1985, Denver, Colorado, United States
	Richard Snodgrass, A relational approach to monitoring complex systems, ACM Transactions on Computer Systems (TOCS), v.6 n.2, p.157-195, May 1988
	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989
	John H. Howard, Signaling in monitors, Proceedings of the 2nd international conference on Software engineering, p.47-52, October 13-15, 1976, San Francisco, California, United States
	Rohit Chandra , Anoop Gupta , John L. Hennessy, Data locality and load balancing in COOL, ACM SIGPLAN Notices, v.28 n.7, p.249-259, July 1993
	H.-M. Su , P.-C. Yew, On data synchronization for multiprocessors, ACM SIGARCH Computer Architecture News, v.17 n.3, p.416-423, June 1989
	Kiyokuni Kawachiya , Akira Koseki , Tamiya Onodera, Lock reservation: Java locks can mostly do without atomic operations, ACM SIGPLAN Notices, v.37 n.11, November 2002
	W. R. Franta, ACM SIGPLAN history of programming languages conference SIMULA language summary, ACM SIGPLAN Notices, v.13 n.8, p.243-244, August 1978
	Malcolm Atkinson , Ronald Morrison, Orthogonally persistent object systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
	Lionel M. Ni , Ching-Farn E. Wu, Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems, IEEE Transactions on Software Engineering, v.15 n.3, p.327-334, March 1989
	Andrew S. Tanenbaum, Corrigenda: “A Tutorial on Algol 68”, ACM Computing Surveys (CSUR), v.9 n.3, p.255-256, Sept. 1977
	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980
	Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson, Eraser: a dynamic data race detector for multi-threaded programs, ACM SIGOPS Operating Systems Review, v.31 n.5, p.27-37, Dec. 1997
	John Plevyak , Xingbin Zhang , Andrew A. Chien, Obtaining sequential efficiency for concurrent object-oriented languages, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.311-321, January 23-25, 1995, San Francisco, California, United States
	M. Elizabeth C. Hull , R. M. McKeag, Communicating Sequential Processes for Centralized and Distributed Operating System Design, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.175-191, April 1984
	Kai Li , Paul Hudak, Memory coherence in shared virtual memory systems, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.229-239, August 11-13, 1986, Calgary, Alberta, Canada
	C. J. Fleckenstein , D. Hemmendinger, A parallel `make' utility based on Linda's tuple-space, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.216-220, February 21-23, 1989, Louisville, Kentucky
	Gertrude Levine, Conflict resolution for readers and writers, ACM SIGAda Ada Letters, v.XXI n.2, p.81-88, June 2001
	Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems (TOCS), v.15 n.4, p.391-411, Nov. 1997
	Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977
	MM. L. Boi , P. Michel, Design and principles of a fault tolerant system, Proceedings of the 3rd international conference on Software engineering, p.207-214, May 10-12, 1978, Atlanta, Georgia, United States
	Brain A. Rudolph, Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, v.33 n.5, p.563-576, May 1990
	David E. Boddy, On the design of monitors with priority conditions, ACM SIGPLAN Notices, v.19 n.2, p.38-46, February 1984
	Leon Presser, Multiprogramming Coordination, ACM Computing Surveys (CSUR), v.7 n.1, p.21-44, March 1975
	André B. Bondi, Characteristics of scalability and their impact on performance, Proceedings of the 2nd international workshop on Software and performance, p.195-203, September 2000, Ottawa, Ontario, Canada
	Daniel J. Rosenkrantz , Richard E. Stearns , Philip M. Lewis, II, System level concurrency control for distributed database systems, ACM Transactions on Database Systems (TODS), v.3 n.2, p.178-198, June 1978
	Brett D. Fleisch, Fault-tolerance support in distributed systems, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-6, September 03-05, 1990, Bologna, Italy
	Görel Hedin, Attribute extension - a technique for enforcing programming conventions, Nordic Journal of Computing, v.4 n.1, p.93-122, Spring 1997
	Richard Alan Karp , David C. Luckham, Verification of fairness in an implementation of monitors, Proceedings of the 2nd international conference on Software engineering, p.40-46, October 13-15, 1976, San Francisco, California, United States
	Niklaus Wirth, Pascal and its successors, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Stephen J. Hartley, “Alfonse, you have a message!”, ACM SIGCSE Bulletin, v.32 n.1, p.60-64, Mar. 2000
	Craig E. Wills, Process synchronization and IPC, ACM Computing Surveys (CSUR), v.28 n.1, p.209-211, March 1996
	John Van Tassel , David Hemmendinger, Specifying and automatically generating Ada tasks in Prolog, Proceedings of the 1990 ACM annual conference on Cooperation, p.121-127, February 20-22, 1990, Washington, D.C., United States
	C. Rolland , C. Richard, Transactions modeling, Proceedings of the 1982 ACM SIGMOD international conference on Management of data, June 02-04, 1982, Orlando, Florida
	Carlos Varela , Gul Agha, Programming dynamically reconfigurable open systems with SALSA, ACM SIGPLAN Notices, v.36 n.12, December 2001
	R. C. B Cooper , K. G. Hamilton, Preserving Abstraction in Concurrent Programming, IEEE Transactions on Software Engineering, v.14 n.2, p.258-263, February 1988
	Russell Atkinson , Carl Hewitt, Synchronization in actor systems, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.267-280, January 17-19, 1977, Los Angeles, California
	J. L. W. Kessels, Parallel programming concepts in a definitional language, ACM SIGPLAN Notices, v.11 n.10, p.19-31, October 1976
	M. Harkema , D. Quartel , B. M. M. Gijsen , R. D. van der Mei, Performance monitoring of java applications, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy
	D. A. Sewry, Modula-2 and the monitor concept, ACM SIGPLAN Notices, v.19 n.11, p.33-41, November 1984
	Dennis W. Leinbaugh, High level description and implementation of resource schedulers, Proceedings of the ACM '82 conference, p.169-175, January 1982
	Bruce K. Haddon, Nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.4, p.18-23, October 1977
	Bo Sandén, Coping with Java Threads, Computer, v.37 n.4, p.20-27, April 2004
	F. B. Schneider , A. J. Bernstein, Scheduling in Concurrent Pascal, ACM SIGOPS Operating Systems Review, v.12 n.2, p.15-20, April 1978
	Cormac Flanagan , Shaz Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Giuseppe Milicia , Vladimiro Sassone, The inheritance anomaly: ten years after, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	John V. Guttag, Abstract data types, then and now, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Per Brinch Hansen, Joyce: a programming language for distributed systems, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Jean Bacon, An approach to distributed software systems, ACM SIGOPS Operating Systems Review, v.15 n.4, p.62-74, October 1981
	R. C. Holt, A short introduction to Concurrent Euclid, ACM SIGPLAN Notices, v.17 n.5, p.60-79, May 1982
	K. L. Wu , W. K. Fuchs , J. H. Patel, Error Recovery in Shared Memory Multiprocessors Using Private Caches, IEEE Transactions on Parallel and Distributed Systems, v.1 n.2, p.231-240, April 1990
	Per Brinch Hansen, Distributed processes: a concurrent programming concept, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Abraham Silberschatz, A note on the distributed program component cell, ACM SIGPLAN Notices, v.16 n.7, p.89-96, July 1981
	Anthony I. Wasserman, Issues in programming language design: an overview, ACM SIGPLAN Notices, v.10 n.7, July 1975
	Andrew Lister, The problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.3, p.5-7, July 1977
	A. J. Wellings , D. Keeffe , G. M. Tomlinson, A problem with Ada and resource allocation, ACM SIGAda Ada Letters, v.III n.4, p.112-124, January/February 1984
	Cormac Flanagan , Stephen N Freund, Atomizer: a dynamic atomicity checker for multithreaded programs, ACM SIGPLAN Notices, v.39 n.1, p.256-267, January 2004
	Rajive L. Bagrodia, Parallel Languages for Discrete-Event Simulation Models, IEEE Computational Science & Engineering, v.5 n.2, p.27-38, April 1998
	Jean Bezivin , Jean-Louis Nebut , Robert Rannou, Another view of coroutines, ACM SIGPLAN Notices, v.13 n.5, p.23-35, May 1978
	R. C. Holt , G. S. Graham , E. D. Lazowska , M. A. Scott, Announcing CONCURRENT SP/k, ACM SIGPLAN Notices, v.13 n.5, p.65-68, May 1978
	Jean Bezivin, Some experiments in object-oriented simulation, ACM SIGPLAN Notices, v.22 n.12, p.394-405, Dec. 1987
	Gregory R. Andrews , Richard P. Reitman, An Axiomatic Approach to Information Flow in Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.56-76, Jan. 1980
	J. M. Yohe, Comments on the topic “programming, and its implication on programming languages”, Proceedings of the 1975 annual conference, p.219-220, January 1975
	Paul J. Leach , Paul H. Levine , James A. Hamilton , Bernard L. Stumpf, The file system of an integrated local network, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.309-324, March 1985, New Orleans, Louisiana, United States
	Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, ACM SIGCUE Outlook, v.26 n.4, p.14-34, Oct. 1998
	An enhanced thread synchronization mechanism for Java, Software—Practice & Experience, v.31 n.7, p.667-695, June 2001
	N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993
	Ronald D. Hubbard, Jr., Language extensibility and program design, Proceedings of the 13th conference on Design automation, p.371-376, June 28-30, 1976, San Francisco, California, United States
	David W. Wall, Messages as active agents, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.34-39, January 25-27, 1982, Albuquerque, Mexico
	J. Karimi , B. R. Konsynski, An Automated Software Design Assistant, IEEE Transactions on Software Engineering, v.14 n.2, p.194-210, February 1988
	Bill Bynum , Tracy Camp, After you, Alfonse: a mutual exclusion toolkit, ACM SIGCSE Bulletin, v.28 n.1, p.170-174, March 1996
	K. H. Kim, Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation, IEEE Transactions on Software Engineering, v.14 n.6, p.810-821, June 1988
	Abraham Silberschatz, Serializability in multi-level monitor environments, Proceedings of the 1978 annual conference, p.855-861, January 1978
	L. Cardelli , J. Donahue , M. Jordan , B. Kalsow , G. Nelson, The Modula–3 type system, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.202-212, January 11-13, 1989, Austin, Texas, United States
	Tilak Agerwala , Yong-Chai Choed-Amphai, A synthesis rule for concurrent systems, Proceedings of the 15th conference on Design automation, p.305-311, June 19-21, 1978, Las Vegas, Nevada, United States
	Peter J. Ashenden , Philip A. Wilsey, Protected Shared Variables in VHDL: IEEE Standard 1076a, IEEE Design & Test, v.16 n.4, p.74-83, October 1999
	Christoph von Praun , Thomas R. Gross, Static conflict analysis for multi-threaded object-oriented programs, ACM SIGPLAN Notices, v.38 n.5, May 2003
	J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979
	Ian Foster, Compositional parallel programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.4, p.454-476, July 1996
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Manifolds: a very high-level conceptual framework of interprocess synchronization and communication, Proceedings of the 15th annual conference on Computer Science, p.196-204, February 1987, St. Louis, Missouri, United States
	Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981
	Lawrence Robinson , Karl N. Levitt, Proof techniques for hierarchically structured programs, Communications of the ACM, v.20 n.4, p.271-283, April 1977
	Richard B. Kieburtz , Abraham Silberschatz, Access-Right Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.78-96, Jan. 1983
	Peter M. Schwarz , Alfred Z. Spector, Synchronizing shared abstract types, ACM Transactions on Computer Systems (TOCS), v.2 n.3, p.223-250, Aug. 1984
	David J. Taylor , Thomas Kunz , James P. Black, Achieving target-system independence in event visualisation, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.58, November 07-09, 1995, Toronto, Ontario, Canada
	Kenneth A. Reek, The well-tempered semaphore: theme with variations, ACM SIGCSE Bulletin, v.34 n.1, March 2002
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Krishna Kant , Abraham Silberschatz, On the generalized critical region construct, ACM SIGOPS Operating Systems Review, v.16 n.3, p.4-16, July 1982
	M. E. Harper, Mutual exclusion within both software- and hardware-driven kernel primitives, ACM SIGOPS Operating Systems Review, v.16 n.4, p.60-68, October 1982
	Peter W. O'Hearn , Hongseok Yang , John C. Reynolds, Separation and information hiding, ACM SIGPLAN Notices, v.39 n.1, p.268-280, January 2004
	John C. Reynolds, Syntactic control of interference, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.39-46, January 23-25, 1978, Tucson, Arizona
	Claude Petitpierre, Synchronous C++: A Language for Interactive Applications, Computer, v.31 n.9, p.65-72, September 1998
	Toshimi Minoura , S. Sitharama Iyengar, Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems, IEEE Transactions on Software Engineering, v.15 n.1, p.47-59, January 1989
	Anne Dinning, A Survey of Synchronization Methods for Parallel Computers, Computer, v.22 n.7, p.66-77, July 1989
	David Hemmendinger, Specifying Ada Server Tasks with Executable Formal Grammars, IEEE Transactions on Software Engineering, v.16 n.7, p.741-754, July 1990
	Andy Wellings , Alan Burns, Implementing Atomic Actions in Ada 95, IEEE Transactions on Software Engineering, v.23 n.2, p.107-123, February 1997
	Anthony I. Wasserman , Robert J. Muller , Peter A. Pircher, The Object-Oriented Structured Design Notation for Software Design Representation, Computer, v.23 n.3, p.50-63, March 1990
	Che-Fn Yu , V. D. Gligor, A Specification and Verification Method for Preventing Denial of Service, IEEE Transactions on Software Engineering, v.16 n.6, p.581-592, June 1990
	Stephen P. Hufnagel , James C. Browne, Performance Properties of Vertically Partitioned Object-Oriented Systems, IEEE Transactions on Software Engineering, v.15 n.8, p.935-946, August 1989
	D. Comte , G. Durrieu , O. Gelly , A. Plas , J. C. Syre, Parallelism, control and synchronization expression in a single assignment language, ACM SIGPLAN Notices, v.13 n.1, p.25-33, January 1978
	Ahmed Mahjoub, Some comments on ADA as a real-time programming language, ACM SIGPLAN Notices, v.16 n.2, p.89-95, February 1981
	W. Gu , N. A. Burns , M. T. Collins , W. Y. P. Wong, The evolution of a high-performing Java virtual machine, IBM Systems Journal, v.39 n.1, p.135-150, January 2000
	Rohit Chandra , Anoop Gupta , John L. Hennessy, COOL: An Object-Based Language for Parallel Programming, Computer, v.27 n.8, p.13-26, August 1994
	Rohit Chandra , Anoop Gupta , John L. Hennessy, COOL: An Object-Based Language for Parallel Programming, Computer, v.27 n.8, p.13-26, August 1994
	Alfred Z. Spector , Peter M. Schwarz, Transactions: a construct for reliable distributed computing, ACM SIGOPS Operating Systems Review, v.17 n.2, p.18-35, April 1983
	Nick Benton , Luca Cardelli , Cédric Fournet, Modern concurrency abstractions for C#, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.769-804, September 2004
	Tuba Yavuz-Kahveci , Tevfik Bultan, Specification, verification, and synthesis of concurrency control components, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	Philippe Charles , Christian Grothoff , Vijay Saraswat , Christopher Donawa , Allan Kielstra , Kemal Ebcioglu , Christoph von Praun , Vivek Sarkar, X10: an object-oriented approach to non-uniform cluster computing, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Anthony G. Sumpter , Gerry E. Quick, Concurrency specification in high level languages, ACM SIGPLAN Notices, v.15 n.12, p.75-81, December 1980
	David T. Barnard , W. David Elliott , David H. Thompson, Euclid and Modula, ACM SIGPLAN Notices, v.13 n.3, p.70-84, March 1978
	Donald D. Cowan , Carlos J. P. Lucena, Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse, IEEE Transactions on Software Engineering, v.21 n.3, p.229-243, March 1995
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.2, p.38-78, April 1981
	Trevor Turton, The management of operating system state data, ACM SIGOPS Operating Systems Review, v.14 n.2, p.21-24, April 1980
	Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida
	D. B. Lomet, Process structuring, synchronization, and recovery using atomic actions, ACM SIGPLAN Notices, v.12 n.3, p.128-137, March 1977
	Betty L. Hickman , Dan Scott, A Subtree-Partitioning Algorithm for Inducing Parallelism in Network Simplex Dual Updates, Computational Optimization and Applications, v.7 n.2, p.183-197, March 1997
	Richard H. Carver , Kuo-Chung Tai, Replay and Testing for Concurrent Programs, IEEE Software, v.8 n.2, p.66-74, March 1991
	A. J. Gerber, Process synchronization by counter variables, ACM SIGOPS Operating Systems Review, v.11 n.4, p.6-17, October 1977
	R. Schild , H. Lienhard, Real-time programming in PORTAL, ACM SIGPLAN Notices, v.15 n.4, p.79-92, April 1980
	Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.1, p.45-72, January 1981
	Jaroslaw Milewski, Loslan implementation of the AMPL message-passing system, ACM SIGPLAN Notices, v.19 n.9, p.21-29, September 1984
	Bob Beck, Shared-Memory Parallel Programming in C++, IEEE Software, v.7 n.4, p.38-48, July 1990
	J. M. Adams , A. P. Black, On proof rules for monitors, ACM SIGOPS Operating Systems Review, v.16 n.2, p.18-27, April 1982
	Denis Caromel , Julien Vayssière, A security framework for reflective Java applications, Software—Practice & Experience, v.33 n.9, p.821-846, 25 July 2003
	Dick Mays , Richard J. LeBlanc, Jr., The cyclefree methodology: a simple approach to building reliable, robust, real-time systems, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	R. B. Mueller-Thuns , D. G. Saab , R. F. Damiano , J. A. Abraham, Benchmarking Parallel Processing Platforms: An Applications Perspective, IEEE Transactions on Parallel and Distributed Systems, v.4 n.8, p.947-954, August 1993
	Per Brinch Hansen, The purpose of concurrent Pascal, ACM SIGPLAN Notices, v.10 n.6, p.305-309, June 1975
	Hugh C. Lauer , Roger M. Needham, On the duality of operating system structures, ACM SIGOPS Operating Systems Review, v.13 n.2, p.3-19, April 1979
	Horst Wettstein, The problem of nested monitor calls revisited, ACM SIGOPS Operating Systems Review, v.12 n.1, p.19-23, January 1978
	Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003
	Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
	Martin C. Rinard , Pedro C. Diniz, Eliminating synchronization bottlenecks using adaptive replication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.3, p.316-359, May 2003
	Abdelsalam Shanneb , John Potter, Flexible exclusion control for composite objects, Proceedings of the Twenty-eighth Australasian conference on Computer Science, p.277-286, January 01, 2005, Newcastle, Australia
	Abraham Silberschatz, On the synchronization mechanism of the ADA language, ACM SIGPLAN Notices, v.16 n.2, p.96-103, February 1981
	Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005
	Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
	Jean Bezivin, Design and implementation in object-oriented simulation, ACM SIGSIM Simulation Digest, v.19 n.2, p.47-53, June 1988
	Peter C. J. Graham, Using BINS for inter-process communication, ACM SIGPLAN Notices, v.20 n.2, February 1985
	David L. Parnas, The non-problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.1, p.12-18, January 1978
	Ken Barker , Graham Birtwistle, A computer systems simulator, Proceedings of the 14th conference on Winter Simulation, December 06-08, 1982, San Diego, California
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
	R. K. Shyamsundar , J. W. Thatcher, Language Constructs for Specifying Concurrency in CDL, IEEE Transactions on Software Engineering, v.15 n.8, p.977-993, August 1989
	B. Alpern , C. R. Attanasio , J. J. Barton , M. G. Burke , P. Cheng , J.-D. Choi , A. Cocchi , S. J. Fink , D. Grove , M. Hind , S. F. Hummel , D. Lieber , V. Litvinov , M. F. Mergen , T. Ngo , J. R. Russell , V. Sarkar , M. J. Serrano , J. C. Shepherd , S. E. Smith , V. C. Sreedhar , H. Srinivasan , J. Whaley, The Jalapeño virtual machine, IBM Systems Journal, v.39 n.1, p.211-238, January 2000
	Abdelsalam Shanneb , John Potter , James Noble, Exclusion requirements and potential concurrency for composite objects, Science of Computer Programming, v.58 n.3, p.344-365, December 2005
	S. S. Yau , R. C. Cheung , D. C. Cochrane, An approach to error-resistant software design, Proceedings of the 2nd international conference on Software engineering, p.429-436, October 13-15, 1976, San Francisco, California, United States
	Frederick G. Sayward, A correctness criterion for CSP parallel programs, ACM SIGPLAN Notices, v.10 n.9, September 1975
	Daniel C. Swinehart , Polle T. Zellweger , Richard J. Beach , Robert B. Hagmann, A structural view of the Cedar programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.419-490, Oct. 1986
	Ashok R. Saxena , Thomas H. Bredt, A structured specification of a hierarchical operating system, ACM SIGPLAN Notices, v.10 n.6, p.310-318, June 1975
	Alexander D. Stoyenko , V. Carl Hamacher , Richard C. Holt, Analyzing Hard-Real-Time Programs for Guaranteed Schedulability, IEEE Transactions on Software Engineering, v.17 n.8, p.737-750, August 1991
	Peter Hibbard, Multiprocessor software design, Proceedings of the ACM 1980 annual conference, p.527-536, January 1980
	Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992
	Anita J. Van Engen , Michael K. Bradshaw , Nathan Oostendorp, Extending Java to support shared resource protection and deadlock detection in threads programming, Crossroads, v.4 n.2, p.9-17, Winter 1997
	Nigel Edwards, Fault tolerance support in distributed systems: a position paper, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	E. W. Giering, III , T. P. Baker, A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks, ACM SIGAda Ada Letters, v.XIV n.SI, p.54-73, Fall 1994
	Maxwell Krohn , Eddie Kohler , M. Frans Kaashoek, Events can make sense, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
	Henry G. Baker, “Use-once” variables and linear objects: storage management, reflection and multi-threading, ACM SIGPLAN Notices, v.30 n.1, p.45-52, Jan. 1995
	C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983
	Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985
	Ifen Yang , William Moloney, Concurrent reading and writing with replicated data objects, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.414-417, February 1988, Atlanta, Georgia, United States
	Uday S. Reddy, Programming with sequences, Proceedings of the 20th annual Southeast regional conference, p.189-198, April 01-03, 1982, Knoxville, Tennessee
	Claude Kaiser , Jean-François Pradat-Peyre , Sami Évangelista , Pierre Rousseau, Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement, ACM SIGAda Ada Letters, v.XXVI n.2, August 2006
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, History of programming languages I, ACM Press, New York, NY, 1978
	David Dice, Implementing fast java^TM monitors with relaxed-locks, Proceedings of the Java^TM Virtual Machine Research and Technology Symposium on Java^TM Virtual Machine Research and Technology Symposium, p.13-13, April 23-24, 2001, Monterey, California
	F. C. García López , N. L. Frías Arrocha, An efficient synchronization model for OpenMP, Journal of Parallel and Distributed Computing, v.66 n.11, p.1359-1365, November 2006
	Einar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006
	Per Brinch Hansen, The architecture of concurrent programs, Prentice-Hall, Inc., Upper Saddle River, NJ, 1977
	Niklaus Wirth, Modula-2 and Oberon, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.3-1-3-10, June 09-10, 2007, San Diego, California
	Peter W. OHearn, Resources, concurrency, and local reasoning, Theoretical Computer Science, v.375 n.1-3, p.271-307, May, 2007
	Peter Thiemann, User-level transactional programming in Haskell, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Oscar Nierstrasz , Dennis Tsichritzis, An object-oriented environment for OIS applications, Proceedings of the 11th international conference on Very Large Data Bases, p.335-345, August 21-23, 1985, Stockholm, Sweden
	Prakash G. Hebalkar, Application specification for distributed data base systems, Proceedings of the fourth international conference on Very Large Data Bases, p.442-449, September 13-15, 1978, West Berlin, Germany
	David L. Sims , Debra A. Hensgen , Lantz Moore, Performance of concurrent servers generated automatically from sequential servers, USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems, p.10-10, September 22-23, 1993, San Diego, California
	Raoul Bhoedjang , Tim Ruhl , Rutger Hofman , Koen Langendoen , Henri Bal , Frans Kaashoek, Panda: a portable platform to support parallel programming languages, USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems, p.11-11, September 22-23, 1993, San Diego, California
	Bart Jacobs , Jan Smans , Frank Piessens , Wolfram Schulte, A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.9, p.23-47, June, 2007
	Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen, The when, why and why not of the BETA programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.10-1-10-57, June 09-10, 2007, San Diego, California
	Stephen Brookes, A semantics for concurrent separation logic, Theoretical Computer Science, v.375 n.1-3, p.227-270, May, 2007
	Andrew P. Black , Norman C. Hutchinson , Eric Jul , Henry M. Levy, The development of the Emerald programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.11-1-11-51, June 09-10, 2007, San Diego, California
	Cengiz Erbas , Murat M. Tanik, Modeling And Verification Of Real-Time Systems, Journal of Integrated Design & Process Science, v.7 n.3, p.11-37, August 2003
	K. C. Tai , Richard H. Carver, VP: a new operation for semaphores, ACM SIGOPS Operating Systems Review, v.30 n.3, p.5-11, July 1996
	Leszek Kotulski , Lukasz Fryz , Tomasz Gorazd, On synchronization with direct delaying and resuming, Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, p.117-122, February 13-15, 2007, Innsbruck, Austria
	Luiz Fernando Capretz, A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, v.28 n.2, March 2003
	Stein J. Ryan, Synchronization in portable device drivers, ACM SIGOPS Operating Systems Review, v.33 n.1, p.18-25, Jan. 1999
	A. Romanovsky , A. F. Zorzo, On distribution of coordinated atomic actions, ACM SIGOPS Operating Systems Review, v.31 n.4, p.63-71, Oct. 1997
	Stein J. Ryan, Synchronization in portable device drivers, ACM SIGOPS Operating Systems Review, v.32 n.4, p.62-69, Oct. 1998
	Sanjeev Kumar , Carl Bruggeman , R. Kent Dybvig, Threads Yield Continuations, Lisp and Symbolic Computation, v.10 n.3, p.223-236, May 1998
	Pierre Palatin , Yves Lhuillier , Olivier Temam, CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs, Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture, p.247-258, December 09-13, 2006
	Dennis Kafura, Scheduling tasks with critical sections, Proceedings of the 1977 annual conference, p.381-385, January 1977
	L Kotulski, About the semantic nested monitor calls, ACM SIGPLAN Notices, v.22 n.4, p.80-82, April 1987
	Faisel Saeed , K. M. George , M. H. Samadzadeh, Implementation of classical mutual exclusion algorithms in Ada, ACM SIGAda Ada Letters, v.XII n.1, p.73-84, Jan./Feb. 1992
	A. Burns , G. L. Davies, Ada 9X protected types in Pascal-FC, ACM SIGAda Ada Letters, v.XII n.6, p.59-74, Nov./Dec. 1992
	Andrew T. Kitchen , Nan C. Schaller , Paul T. Tymann, Game playing as a technique for teaching parallel computing concepts, ACM SIGCSE Bulletin, v.24 n.3, p.35-38, Sept. 1992
	Software Engineering Notes Staff, Abstracts in software engineering: part 2, ACM SIGSOFT Software Engineering Notes, v.2 n.1, p.6-14, January 1977
	A. Burns , G. Davies, Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, v.23 n.1, p.58-66, Jan., 1988
	Pierre Castori, Semaphores revisited with MMS, ACM SIGOPS Operating Systems Review, v.29 n.3, p.49-63, July 1995
	John English, Multithreading in C++, ACM SIGPLAN Notices, v.30 n.4, p.21-28, April 1995
	John H. Howard, Reply to "on proof rules for monitors", ACM SIGOPS Operating Systems Review, v.16 n.4, p.8-9, October 1982
	Ronald A. Olsson , Carole M. McNamee, Tools for teaching CCRs, monitors, and CSP concurrent programming concepts, ACM SIGCSE Bulletin, v.27 n.2, p.31-40, June 1995
	J. Ángel Velázquez-Iturbide, A methodology for monitor development in concurrent programs, ACM SIGCSE Bulletin, v.26 n.3, p.22-28, Sept. 1994
	B. Lees, Introductory concurrent programming with Modula-2, ACM SIGCSE Bulletin, v.17 n.3, p.34-41, Sept. 1985
	Henri E. Bal, Comparing data synchronization in Ada 9X and Orca, ACM SIGAda Ada Letters, v.XV n.1, p.50-63, Jan./Feb. 1995
	Szabolcs Ferenczi, Guarded methods vs. inheritance anomaly: inheritance anomaly solved by nested guarded method calls, ACM SIGPLAN Notices, v.30 n.2, p.49-58, Feb. 1995
	Uwe Petermann , Andrzej Szalas, A note on PCI: distributed processes communicating by interrupts, ACM SIGPLAN Notices, v.20 n.3, p.37-47, March 1985
	David Hemmendinger, A correct implementation of general semaphores, ACM SIGOPS Operating Systems Review, v.22 n.3, p.42-44, July 1988
	N. B. Serbedzija, Asynchronous communication on Occam, ACM SIGPLAN Notices, v.23 n.12, p.51-62, Dec. 1988
	D. E. Boddy, SOS: a monitor-based operating system for instruction, ACM SIGPLAN Notices, v.23 n.12, p.115-124, Dec. 1988
	Dale H. Grit, An operating system project using Concurrent Euclid, ACM SIGCSE Bulletin, v.20 n.2, p.50-53, June, 1988
	G. L. Davies, Teaching concurrent programming with Pascal-FC, ACM SIGCSE Bulletin, v.22 n.2, p.38-41, June 1990
	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
	Neil Dunstan, Semaphores for fair scheduling monitor conditions, ACM SIGOPS Operating Systems Review, v.25 n.3, p.27-31, July 1991
	Cyrus F. Nourani, Parallel module specification on SLPX, ACM SIGPLAN Notices, v.27 n.1, p.114-115, Jan. 1992
	Ralph C. Hilzer, Jr., Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous, ACM SIGOPS Operating Systems Review, v.26 n.3, p.31-39, July 1992
	Juan Hernández , Juan Antonio Sanchez, RT-MODULA2: an embedded in MODULA2 language for writing concurrent and real time programs, ACM SIGPLAN Notices, v.27 n.2, p.26-36, Feb. 1992
	C. Jung , E. Sibert, Communication types, ACM SIGPLAN Notices, v.25 n.9, p.25-30, Sep. 1990
	Jessica Chen, On Verifying Distributed Multithreaded Java Programs, Software Quality Control, v.8 n.4, p.321-341, December 1999
	D. D. Jung , E. Sibert, Indirect naming in distributed programming languages, ACM SIGPLAN Notices, v.24 n.9, p.126-132, Sept. 1989
	M. Lester , R. Christensen, Felix, an object-oriented operating system, ACM SIGPLAN Notices, v.24 n.4, p.206-208, April 1989
	Peter Wegner, Granularity of modules in object-based concurrent systems, ACM SIGPLAN Notices, v.24 n.4, p.46-49, April 1989
	M. Uehara , C. Numaoka , Y. Yokote , M. Tokoro, Sarek: a window system interface for object-oriented concurrent programming languages, ACM SIGPLAN Notices, v.24 n.4, p.187-189, April 1989
	Mitchell Wand, Continuation-Based Multiprocessing Revisited, Higher-Order and Symbolic Computation, v.12 n.3, p.283-283, October 1999
	N. J. Gunther , M. T. Noga, ParcBench: a benchmark for shared-memory architectures, ACM SIGARCH Computer Architecture News, v.17 n.4, p.54-61, June 1989
	William T. Overman , Stephen D. Crocker , Vittal Kini, A multiprocessor description language, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Xinyu Feng , Zhong Shao , Yuan Dong , Yu Guo, Certifying low-level programs with hardware interrupts and preemptive threads, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Joseph M. Hellerstein , Michael Stonebraker , James Hamilton, Architecture of a Database System, Foundations and Trends in Databases, v.1 n.2, p.141-259, February 2007
	Paul E. McKenney , Maged M. Michael , Jonathan Walpole, Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory, Proceedings of the 4th workshop on Programming languages and operating systems, October 18-18, 2007, Stevenson, Washington
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin , Shaz Qadeer, Types for atomicity: Static checking and inference for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-53, July 2008
	Luis Ceze , Christoph von Praun , Călin Caşcaval , Pablo Montesinos , Josep Torrellas, Concurrency control with data coloring, Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), March 02-02, 2008, Seattle, Washington
	Cormac Flanagan , Stephen N. Freund, Atomizer: A dynamic atomicity checker for multithreaded programs, Science of Computer Programming, v.71 n.2, p.89-109, April, 2008
	Prakash Chandrasekaran , Christopher L. Conway , Joseph M. Joy , Sriram K. Rajamani, Programming asynchronous layers with CLARITY, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, Transactions with isolation and cooperation, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Kevin Klues , Vlado Handziski , Chenyang Lu , Adam Wolisz , David Culler , David Gay , Philip Levis, Integrating concurrency control and energy management in device drivers, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
	Murat Demirbas , Onur Soysal , Muzammil Hussain, TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks, Proceedings of the 7th international conference on Information processing in sensor networks, p.295-306, April 22-24, 2008
	Christopher Dragert , Juergen Dingel , Karen Rudie, Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Roelof Hamberg , Frits Vaandrager, Using model checkers in an introductory course on operating systems, ACM SIGOPS Operating Systems Review, v.42 n.6, October 2008
	Tom Van Cutsem , Stijn Mostinckx , Wolfgang De Meuter, Linguistic symbiosis between event loop actors and threads, Computer Languages, Systems and Structures, v.35 n.1, p.80-98, April, 2009
	Charles R. Young, A security policy for a profile-oriented operating system, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Alan F. Sweet , Arthur E. Oldehoeft, Automated control of concurrency in multi-user hierarchical information systems, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
	Bart Jacobs , Frank Piessens , Jan Smans , K. Rustan M. Leino , Wolfram Schulte, A programming model for concurrent object-oriented programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-48, December 2008
	Anthony I. Wasserman, Issues in programming language design: an overview, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
	Harold W. Lawson, Jr., New directions for micro- and system architectures in the 1980s, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Peter J. Denning , Walter F. Tichy, Monitor, synchronization, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Peter W. O'Hearn , Hongseok Yang , John C. Reynolds, Separation and information hiding, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.3, p.1-50, April 2009
	Xinyu Feng , Zhong Shao , Yu Guo , Yuan Dong, Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads, Journal of Automated Reasoning, v.42 n.2-4, p.301-347, April 2009
	Tiago Cogumbreiro , Francisco Martins , Vasco T. Vasconcelos, Compiling the π-calculus into a Multithreaded Typed Assembly Language, Electronic Notes in Theoretical Computer Science (ENTCS), 241, p.57-84, July, 2009
	Stephen E. Paynter , Neil Henderson , James M. Armstrong, Metastability in Asynchronous Wait-Free Protocols, IEEE Transactions on Computers, v.55 n.3, p.292-303, March 2006
	Yutaka Kanayama, Concurrent programming of intelligent robots, Proceedings of the Eighth international joint conference on Artificial intelligence, p.834-838, August 08-12, 1983, Karlsruhe, West Germany