Monitors
From MaRDI portal
Publication:4066584
DOI10.1145/355620.361161zbMath0308.68029OpenAlexW2131791649WikidataQ55880533 ScholiaQ55880533MaRDI QIDQ4066584
Publication date: 1974
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/355620.361161
Related Items
Fair mutual exclusion with unfair P and V operations, Relation-based semantics for concurrency, An enhanced thread synchronization mechanism for Java, Goldilocks and the three specifications, Certifying low-level programs with hardware interrupts and preemptive threads, Using atomic await commands to develop concurrent programs in Java, Java for high-performance network-based computing: a survey, Determining overflow level in a producer-consumer communication model, KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, Process administration in a high level language, Creol: A type-safe object-oriented model for distributed concurrent systems, A calculus and logic of resources and processes, A model for syntactic control of interference, A CONCURRENT OOP MODEL FOR COMPUTER-AIDED ENGINEERING USING BLACKBOARD ARCHITECTURE, Semantics and verification of monitors and systems of monitors and processes, Another approach to the implementation of synchronization primitives, A semantics for concurrent separation logic, Resources, concurrency, and local reasoning, Towards a universal construction for transaction-based multiprocess programs, Continuation-passing C, compiling threads to events through continuations, A New Property of Choice-Free Petri Net Systems, Semantics of nondeterminism, concurrency, and communication, Methods and means of parallel processing of information, Process synchronization in high-level languages, Invariants in the application-oriented specification of control systems, SOFTWARE ENGINEERING DESIGN METHODOLOGIES AND GENERAL SYSTEMS THEORY, A design method for embedded software systems, Starvation-free mutual exclusion with semaphores, Unnamed Item, Concurrent C++: Concurrent programming with class(es), Quasiparallel programming, An experiment in language design for distributed systems, An experience using different synchronisation mechanisms on a shared memory multiprocessors, More comments on the programming language Pascal, On the efficient implementation of conditional critical regions, and the construction of monitors, The implementation of concurrency for a PL/I-like language, Monitors with associated processors, Ein integriertes Hardware-Software-System zur Steuerung der Ein/Ausgabe, A survey of concurrent object-oriented languages, Enclosures: An access control mechanism with applications in parallel programming and other areas to system programming, Some comments on Concurrent readers and writers, Compile time preparations for run time scheduling in monitors, An experimental study of processor thrashing in multiprocessor systems, Multiple access to a tree in the context of readers and writers problem, A starvation-free solution to the mutual exclusion problem, On the design and specification of message oriented programs, A classification of process coordination schemes in descriptive power, Abstract interface behavior of object-oriented languages with monitors, Verification of a program complex, Primitives for resource management in a demand-driven reduction model, Fine-grained concurrency with separation logic, Message passing between sequential processes: The reply primitive and the administrator concept, Towards a language for concurrent processes, Communicating parallel processes
