The problem of nested monitor calls

About the semantic nested monitor calls

ACM SIGPLAN Notices

An object-based programming model for shared data

ACM Transactions on Programming Languages and Systems (TOPLAS)

Monitors and concurrent Pascal: a personal history

HOPL-II The second ACM SIGPLAN conference on History of programming languages

Intertask communication realized with an interrupt mechanism

ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective

Concepts and Notations for Concurrent Programming

ACM Computing Surveys (CSUR)

Limitations of synchronous communication with static process structure in languages for distributed computing

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Capsules: A Shared Memory Access Mechanism for Concurrent C/C++

IEEE Transactions on Parallel and Distributed Systems

Preserving Abstraction in Concurrent Programming

IEEE Transactions on Software Engineering

The non-problem of nested monitor calls

ACM SIGOPS Operating Systems Review

The problem of nested monitor calls revisited

ACM SIGOPS Operating Systems Review

Survey of recent operating systems research, designs and implementations

ACM SIGOPS Operating Systems Review

Scheduling in Concurrent Pascal

ACM SIGOPS Operating Systems Review

More on nested monitor calls

ACM SIGOPS Operating Systems Review

Evaluating synchronization mechanisms

SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles

Nested monitor calls

ACM SIGOPS Operating Systems Review

Monitors and Concurrent Pascal: a personal history

History of programming languages---II

Linking Event-B and Concurrent Object-Oriented Programs

Electronic Notes in Theoretical Computer Science (ENTCS)

Symbolic modular deadlock analysis

Automated Software Engineering

A survey of support for structured communication in concurrency control models

Journal of Parallel and Distributed Computing