Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Operating system principles
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Communicating Sequential Processes for Centralized and Distributed Operating System Design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Software-controlled caches in the VMP multiprocessor
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
KNOs: KNowledge acquisition, dissemination, and manipulation Objects
ACM Transactions on Information Systems (TOIS)
About the semantic nested monitor calls
ACM SIGPLAN Notices
Communications of the ACM
Object structure in the Emerald system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Encapsulators: a new software paradigm in Smalltalk-80
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
The control of a toy robot ARM: a real time programming experience
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Synchronization primitives for a multiprocessor: a formal specification
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Some experiments in object-oriented simulation
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Experience and evolution of concurrent Smalltalk
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
On synchronization in hard-real-time systems
Communications of the ACM
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
An operating system project using Concurrent Euclid
ACM SIGCSE Bulletin
A correct implementation of general semaphores
ACM SIGOPS Operating Systems Review
Design and implementation in object-oriented simulation
ACM SIGSIM Simulation Digest
Introducing parallel processing at the undergraduate level
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Performance evaluation for multiprocessors programmed using monitors
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Asynchronous communication on Occam
ACM SIGPLAN Notices
SOS: a monitor-based operating system for instruction
ACM SIGPLAN Notices
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
IEEE Transactions on Software Engineering
AVANCE: an object management system
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An open enviornment for building parallel programming systems
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Communications of the ACM
Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems
IEEE Transactions on Software Engineering
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Sarek: a window system interface for object-oriented concurrent programming languages
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Felix, an object-oriented operating system
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ParcBench: a benchmark for shared-memory architectures
ACM SIGARCH Computer Architecture News
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Performance Properties of Vertically Partitioned Object-Oriented Systems
IEEE Transactions on Software Engineering
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Experiences creating a portable cedar
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The portable common runtime approach to interoperability
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
On data synchronization for multiprocessors
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Memory coherence in shared virtual memory systems
ACM Transactions on Computer Systems (TOCS)
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A parallel `make' utility based on Linda's tuple-space
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Specification and Verification Method for Preventing Denial of Service
IEEE Transactions on Software Engineering
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The performance of an object-oriented threads package
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Distributed file systems: concepts and examples
ACM Computing Surveys (CSUR)
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
ACM SIGPLAN Notices
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Resource binding—a universal approach to parallel programming
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Semaphores for fair scheduling monitor conditions
ACM SIGOPS Operating Systems Review
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
Teaching concurrent programming with Pascal-FC
ACM SIGCSE Bulletin
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Parallel module specification on SLPX
ACM SIGPLAN Notices
Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous
ACM SIGOPS Operating Systems Review
Object CHILL—an object oriented language for systems implementation
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Computer aided software engineering (CASE) based on transformation with object-oriented logic (TOOL)
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
Ada 9X protected types in Pascal-FC
ACM SIGAda Ada Letters
Game playing as a technique for teaching parallel computing concepts
ACM SIGCSE Bulletin
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ACM Transactions on Computer Systems (TOCS)
Data locality and load balancing in COOL
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
A methodology for monitor development in concurrent programs
ACM SIGCSE Bulletin
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Obtaining sequential efficiency for concurrent object-oriented languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comparing data synchronization in Ada 9X and Orca
ACM SIGAda Ada Letters
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
ACM SIGCSE Bulletin
ACM SIGPLAN Notices
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
ACM SIGOPS Operating Systems Review
ACM Computing Surveys (CSUR)
Object and native code thread mobility among heterogeneous computers (includes sources)
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process synchronization and IPC
ACM Computing Surveys (CSUR)
After you, Alfonse: a mutual exclusion toolkit
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Thread scheduling for cache locality
Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Strategic directions in research on programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
VP: a new operation for semaphores
ACM SIGOPS Operating Systems Review
A Subtree-Partitioning Algorithm for Inducing Parallelism in Network Simplex Dual Updates
Computational Optimization and Applications
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Eraser: a dynamic data race detector for multithreaded programs
ACM Transactions on Computer Systems (TOCS)
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
Eraser: a dynamic data race detector for multi-threaded programs
Proceedings of the sixteenth ACM symposium on Operating systems principles
Optimization of Ada '95 tasking constructs
Proceedings of the conference on TRI-Ada '97
On distribution of coordinated atomic actions
ACM SIGOPS Operating Systems Review
Thin locks: featherweight synchronization for Java
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Performance measurements for multithreaded programs
SIGMETRICS '98/PERFORMANCE '98 Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Synchronization in portable device drivers
ACM SIGOPS Operating Systems Review
Lisp and Symbolic Computation
Java resources for computer science instruction
ACM SIGCUE Outlook - Special issue on the working group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference
Synchronization in portable device drivers
ACM SIGOPS Operating Systems Review
TimeLock: a concurrent simulation technique and its description in Smalltalk-80
WSC '87 Proceedings of the 19th conference on Winter simulation
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
Processor allocation strategies for multiprocessor database machines
ACM Transactions on Database Systems (TODS)
The stream machine: a data flow architecture for real-time applications
ICSE '85 Proceedings of the 8th international conference on Software engineering
MULTISAFE—a modular multiprocessing approach to secure database management
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
An efficient meta-lock for implementing ubiquitous synchronization
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ELECTRE: A language using control structure expressions to specify synchronization
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
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
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A theorem in database concurrency control
Journal of the ACM (JACM)
Concurrent reading and writing with replicated data objects
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Resource scheduling: specification and proof techniques
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
A structural computer system resource model for teaching computer organization
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Analyzing synchronization problems by using event histories as languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
“Alfonse, you have a message!”
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Extending Java to support shared resource protection and deadlock detection in threads programming
Crossroads - Special issue on Java
Characteristics of scalability and their impact on performance
Proceedings of the 2nd international workshop on Software and performance
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-oriented real-time concurrency
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Guava: a dialect of Java without data races
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Error Recovery
ACM Computing Surveys (CSUR)
Surveyor's Forum: An Error Recovery
ACM Computing Surveys (CSUR)
Corrigenda: “A Tutorial on Algol 68”
ACM Computing Surveys (CSUR)
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
An Axiomatic Approach to Information Flow in Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Statement-Oriented Approach to Data Abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Java resources for computer science instruction
ITiCSE-WGR '98 Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education
Parallel programs: proofs, principles, and practice
Communications of the ACM
Experience with processes and monitors in Mesa
Communications of the ACM
Synchronization with eventcounts and sequencers
Communications of the ACM
A model for and discussion of multi-interpreter systems
Communications of the ACM
Proof techniques for hierarchically structured programs
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
An alternative to event queues for synchronization in monitors
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
A conceptual framework for a nonprocedural programming language
Communications of the ACM
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
A note on PCI: distributed processes communicating by interrupts
ACM SIGPLAN Notices
Introductory concurrent programming with Modula-2
ACM SIGCSE Bulletin
Technical correspondence: Interlude on signals and semephores revisited
Communications of the ACM
An enhanced thread synchronization mechanism for Java
Software—Practice & Experience
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Fault-tolerance support in distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Fault tolerance support in distributed systems: a position paper
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A file system interface for concurrent access
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verification and design aspects of "true concurrency"
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronization in actor systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The architecture of concurrent programs
The architecture of concurrent programs
The well-tempered semaphore: theme with variations
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Specification, verification, and synthesis of concurrency control components
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Conflict resolution for readers and writers
ACM SIGAda Ada Letters
The cyclefree methodology: a simple approach to building reliable, robust, real-time systems
Proceedings of the 24th International Conference on Software Engineering
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular verification of concurrent programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Lock reservation: Java locks can mostly do without atomic operations
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
Performance monitoring of java applications
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Parallel Languages for Discrete-Event Simulation Models
IEEE Computational Science & Engineering
Protected Shared Variables in VHDL: IEEE Standard 1076a
IEEE Design & Test
Shared-Memory Parallel Programming in C++
IEEE Software
Replay and Testing for Concurrent Programs
IEEE Software
Error Recovery in Shared Memory Multiprocessors Using Private Caches
IEEE Transactions on Parallel and Distributed Systems
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Benchmarking Parallel Processing Platforms: An Applications Perspective
IEEE Transactions on Parallel and Distributed Systems
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
Preserving Abstraction in Concurrent Programming
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Attribute extension - a technique for enforcing programming conventions
Nordic Journal of Computing
Multiprocessor architectures for concurrent programs
ACM SIGARCH Computer Architecture News
Eliminating synchronization bottlenecks using adaptive replication
ACM Transactions on Programming Languages and Systems (TOPLAS)
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Analysis and Evaluation of a Distributed Monitor Construct in Java
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Macroservers: An Object-Based Programming and Execution Model for Processor-in-Memory Arrays
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A More Expressive Monitor for Concurrent Java Programming
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Run-Time Fault Detection in Monitor Based Concurrent Programming
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Client-Server Design Alternatives: Back to Pipes but with Threads
ICN '01 Proceedings of the First International Conference on Networking-Part 2
Advanced Thread Synchronization in Java Using Interaction Expressions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
The invention of concurrent programming
The origin of concurrent programming
The programming language concurrent Pascal
The origin of concurrent programming
Distributed processes: a concurrent programming concept
The origin of concurrent programming
Joyce: a programming language for distributed systems
The origin of concurrent programming
The non-problem of nested monitor calls
ACM SIGOPS Operating Systems Review
The problem of nested monitor calls revisited
ACM SIGOPS Operating Systems Review
Scheduling in Concurrent Pascal
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Static conflict analysis for multi-threaded object-oriented programs
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Achieving target-system independence in event visualisation
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Systems programming in concurrent prolog
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Shared functions and variables as an aid to applications design
APL '84 Proceedings of the international conference on APL
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Heart: An operating system nucleus machine implemented by firmware
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
A single user multiprocessor incorporating processor manipulation facilities
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
An architecture with comprehensive facilities of inter-process synchronization and communication
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
EDMAS: A locally distributed mail system
ICSE '84 Proceedings of the 7th international conference on Software engineering
Formes: An object and time oriented system for music composition and synthesis
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Evaluation of a software requirements document by analysis of change data
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Specifying and proving properties of sentinel processes
ICSE '81 Proceedings of the 5th international conference on Software engineering
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
ICSE '79 Proceedings of the 4th international conference on Software engineering
A constructive approach to reliable synchronization code
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hierarchical coroutines a mechanism for improved program structure
ICSE '79 Proceedings of the 4th international conference on Software engineering
Language features for description of cooperating processes
ICSE '79 Proceedings of the 4th international conference on Software engineering
An approach to a fault-tolerant system architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Hardware support for concurrent programming in loosely coupled multiprocessors
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
Behavior modelling during software design
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Design and principles of a fault tolerant system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An extensible file system for hydra
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A top-down, laboratory based operating system course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Function distribution in computer system architectures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Hardware support for inter-process communication and processor sharing
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
A Report On The Development Of Gypsy
ACM '78 Proceedings of the 1978 annual conference
Multiprocessor Architectures For Concurrent Programs
ACM '78 Proceedings of the 1978 annual conference
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
DAC '76 Proceedings of the 13th Design Automation Conference
Language extensibility and program design
DAC '76 Proceedings of the 13th Design Automation Conference
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Performance of a multiprocessor for Applicative programs
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Optimal replication of parallel-read, sequential-write systems
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A domain structure for distributed computer systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Indeterminacy, monitors, and dataflow
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Experience with processes and monitors in Mesa (Summary)
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
System design and implementation of BGRAF2
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Verification of fairness in an implementation of monitors
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Verification of a monitor specification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Design and verification of real-time systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An approach to error-resistant software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Data flow, abstraction levels and specifications for communications switching systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Monitoring in a software development environment: A relational approach
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
Language features for process interaction
Proceedings of an ACM conference on Language design for reliable software
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
ACM SIGPLAN history of programming languages conference SIMULA language summary
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The purpose of concurrent Pascal
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
Distributed programming languages
ACM '82 Proceedings of the ACM '82 conference
High level description and implementation of resource schedulers
ACM '82 Proceedings of the ACM '82 conference
Multiprocessor software design
ACM '80 Proceedings of the ACM 1980 annual conference
DREAM - an approach to designing large scale, concurrent software systems
ACM '79 Proceedings of the 1979 annual conference
Serializability in multi-level monitor environments
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '77 Proceedings of the 1977 annual conference
ACM '77 Proceedings of the 1977 annual conference
ACM '75 Proceedings of the 1975 annual conference
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
Verifying formal specifications of synchronous processes
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The problem of nested monitor calls
ACM SIGOPS Operating Systems Review
Process synchronization by counter variables
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
On the generalized critical region construct
ACM SIGOPS Operating Systems Review
Reply to "on proof rules for monitors"
ACM SIGOPS Operating Systems Review
Mutual exclusion within both software- and hardware-driven kernel primitives
ACM SIGOPS Operating Systems Review
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
The roots of object orientation: the Simula language
Software pioneers
Software pioneers
Abstract data types, then and now
Software pioneers
A security framework for reflective Java applications
Software—Practice & Experience
The external consistency of abstract data types
ACM SIGPLAN Notices
Real-time programming in PORTAL
ACM SIGPLAN Notices
Concurrency specification in high level languages
ACM SIGPLAN Notices
A note on the distributed program component cell
ACM SIGPLAN Notices
A short introduction to Concurrent Euclid
ACM SIGPLAN Notices
Implementing data abstractions and monitors in UCSD Pascal
ACM SIGPLAN Notices
On the design of monitors with priority conditions
ACM SIGPLAN Notices
Loslan implementation of the AMPL message-passing system
ACM SIGPLAN Notices
Modula-2 and the monitor concept
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Some comments on ADA as a real-time programming language
ACM SIGPLAN Notices
On the synchronization mechanism of the ADA language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Parallel programming concepts in a definitional language
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Separation and information hiding
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The inheritance anomaly: ten years after
Proceedings of the 2004 ACM symposium on Applied computing
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
A correctness criterion for CSP parallel programs
ACM SIGPLAN Notices
Computer
Using BINS for inter-process communication
ACM SIGPLAN Notices
Thin locks: featherweight Synchronization for Java
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A problem with Ada and resource allocation
ACM SIGAda Ada Letters
Abstracts in software engineering: part 2
ACM SIGSOFT Software Engineering Notes
The evolution of a high-performing Java virtual machine
IBM Systems Journal
IBM Systems Journal
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Transactions: a construct for reliable distributed computing
ACM SIGOPS Operating Systems Review
The management of operating system state data
ACM SIGOPS Operating Systems Review
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Encyclopedia of Computer Science
Flexible exclusion control for composite objects
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
X10: an object-oriented approach to non-uniform cluster computing
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concurrent clustered programming
CONCUR 2005 - Concurrency Theory
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safe Concurrency for Aggregate Objects with Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Metastability in Asynchronous Wait-Free Protocols
IEEE Transactions on Computers
Scheduling tasks with critical sections
ACM '77 Proceedings of the 1977 annual conference
Exclusion requirements and potential concurrency for composite objects
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
User-level transactional programming in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement
ACM SIGAda Ada Letters
CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture
The development of the SIMULA languages
History of programming languages I
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
An efficient synchronization model for OpenMP
Journal of Parallel and Distributed Computing
A semantics for concurrent separation logic
Theoretical Computer Science
Resources, concurrency, and local reasoning
Theoretical Computer Science
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Implementing fast javaTM monitors with relaxed-locks
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Electronic Notes in Theoretical Computer Science (ENTCS)
Application specification for distributed data base systems
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
An object-oriented environment for OIS applications
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
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
Integrating concurrency control and energy management in device drivers
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Panda: a portable platform to support parallel programming languages
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Transactions with isolation and cooperation
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The Design of a Reliable Remote Procedure Call Mechanism
IEEE Transactions on Computers
Design of HM2p A Hierarchical Multimicroprocessor for General-Purpose Applications
IEEE Transactions on Computers
On synchronization with direct delaying and resuming
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
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)
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Certifying low-level programs with hardware interrupts and preemptive threads
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
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
Types for atomicity: Static checking and inference for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Linguistic symbiosis between event loop actors and threads
Computer Languages, Systems and Structures
OTL: On-Demand Thread Stack Allocation Scheme for Real-Time Sensor Operating Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Concurrent Program Metrics Drawn by Quasar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
CoBoxes: Unifying Active Objects and Structured Heaps
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Unified Framework for Verification Techniques for Object Invariants
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Behavioral Modelling and Composition of Object Slices Using Event Observation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A programming model for concurrent object-oriented programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Architecture of a Database System
Foundations and Trends in Databases
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated control of concurrency in multi-user hierarchical information systems
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A multiprocessor description language
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A security policy for a profile-oriented operating system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A Basis for Verifying Multi-threaded Programs
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
Journal of Automated Reasoning
Compiling the π-calculus into a Multithreaded Typed Assembly Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Weak Fairness Semantic Drawbacks in Java Multithreading
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent programming of intelligent robots
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
The Journal of Supercomputing
Building test constraints for testing middleware-based distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
You are not alone: breaking transaction isolation
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Proceedings of the 37th annual international symposium on Computer architecture
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory
ACM SIGOPS Operating Systems Review
Towards a synthesis semantics for systemC channels
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A type system for data-centric synchronization
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Ad hoc synchronization considered harmful
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
A modular scheme for deadlock prevention in an object-oriented programming model
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
A formal specification and verification method for the prevention of denial of service
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Parallelizing join computations of SPARQL queries for large semantic web databases
Proceedings of the 2011 ACM Symposium on Applied Computing
The architecture description language model
Graph transformations and model-driven engineering
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Refactoring Java programs using concurrent libraries
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Looking for efficient implementations of concurrent objects
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Syntactic control of interference for separation logic
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A statically verifiable programming model for concurrent object-oriented programs
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Accelerating large semantic web databases by parallel join computations of SPARQL queries
ACM SIGAPP Applied Computing Review
A case study in concurrent programming with active objects
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A new approach for concurrent program slicing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
An MDA-Based approach for inferring concurrency in distributed systems
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Proving liveness with fairness using rewriting
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A data-centric approach to synchronization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract interface behavior of object-oriented languages with monitors
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
SP'11 Proceedings of the 19th international conference on Security Protocols
On the implementation of concurrent objects
Dependable and Historic Computing
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Brief paper: Invariants in the application-oriented specification of control systems
Automatica (Journal of IFAC)
Message oriented programming-A resource based methodology
Computer Languages
Language constructs for real-time distributed systems
Computer Languages
Abstractions for distributed programming
Computer Languages
Testing and verification aspects of Pascal-like languages
Computer Languages
Inter-entry selection control mechanisms: Implementation and evaluation
Computer Languages
Inter-entry selection: Non-determinism and explicit control mechanisms
Computer Languages
Parallel programming: An axiomatic approach
Computer Languages
Pattern matching and pattern-directed invocation in systems programming languages
Journal of Systems and Software
To boldly go: an occam-π mission to engineer emergence
Natural Computing: an international journal
From unreliable objects to reliable objects: the case of atomic registers and consensus
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Theories, solvers and static analysis by abstract interpretation
Journal of the ACM (JACM)
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
A model-driven approach to teaching concurrency
ACM Transactions on Computing Education (TOCE)
Teaching predicates and invariants on shared data structures in concurrent programming
Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Toward common patterns for distributed, concurrent, fault-tolerant code
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Dynamic monitor allocation in the Java virtual machine
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Towards a universal construction for transaction-based multiprocess programs
Theoretical Computer Science
A Study of Linux File System Evolution
ACM Transactions on Storage (TOS)
An approach to testing commercial embedded systems
Journal of Systems and Software
CSP-based counter abstraction for systems with node identifiers
Science of Computer Programming
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
A study of Linux file system evolution
FAST'13 Proceedings of the 11th USENIX conference on File and Storage Technologies
Hi-index | 48.49 |
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.