Monitors
From MaRDI portal
Cited in
(55)- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
- An experimental study of processor thrashing in multiprocessor systems
- A survey of concurrent object-oriented languages
- Multiple access to a tree in the context of readers and writers problem
- Process synchronization in high-level languages
- A new property of choice-free Petri net systems
- Using atomic await commands to develop concurrent programs in Java
- Compile time preparations for run time scheduling in monitors
- A calculus and logic of resources and processes
- A semantics for concurrent separation logic
- Semantics and verification of monitors and systems of monitors and processes
- Abstract interface behavior of object-oriented languages with monitors
- Another approach to the implementation of synchronization primitives
- A CONCURRENT OOP MODEL FOR COMPUTER-AIDED ENGINEERING USING BLACKBOARD ARCHITECTURE
- scientific article; zbMATH DE number 1231564 (Why is no real title available?)
- Relation-based semantics for concurrency
- The implementation of concurrency for a PL/I-like language
- Resources, concurrency, and local reasoning
- An experiment in language design for distributed systems
- Ein integriertes Hardware-Software-System zur Steuerung der Ein/Ausgabe
- Message passing between sequential processes: The reply primitive and the administrator concept
- An experience using different synchronisation mechanisms on a shared memory multiprocessors
- Quasiparallel programming
- Safe session-based concurrency with shared linear state
- Towards a language for concurrent processes
- Semantics of nondeterminism, concurrency, and communication
- A classification of process coordination schemes in descriptive power
- On the design and specification of message oriented programs
- Communicating parallel processes
- Methods and means of parallel processing of information
- Invariants in the application-oriented specification of control systems
- Towards a universal construction for transaction-based multiprocess programs
- Starvation-free mutual exclusion with semaphores
- Certifying low-level programs with hardware interrupts and preemptive threads
- Continuation-passing C, compiling threads to events through continuations
- Determining overflow level in a producer-consumer communication model
- Process administration in a high level language
- SOFTWARE ENGINEERING DESIGN METHODOLOGIES AND GENERAL SYSTEMS THEORY
- Concurrent C++: Concurrent programming with class(es)
- Fine-grained concurrency with separation logic
- An enhanced thread synchronization mechanism for Java
- Java for high-performance network-based computing: a survey
- Goldilocks and the three specifications
- Fair mutual exclusion with unfair P and V operations
- A starvation-free solution to the mutual exclusion problem
- A design method for embedded software systems
- Primitives for resource management in a demand-driven reduction model
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Verification of a program complex
- More comments on the programming language Pascal
- On the efficient implementation of conditional critical regions, and the construction of monitors
- A model for syntactic control of interference
- Enclosures: An access control mechanism with applications in parallel programming and other areas to system programming
- Some comments on Concurrent readers and writers
- Monitors with associated processors
This page was built for publication: Monitors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4066584)
