Algorithms for mutual exclusion
Algorithms for mutual exclusion
Practitioner's guide to Ada
A Note on Concurrent Programming Control
IEEE Transactions on Software Engineering
A distributed algorithm for mutual exclusion in an arbitrary network
The Computer Journal
Efficient and portable combined random number generators
Communications of the ACM
Random number generators: good ones are hard to find
Communications of the ACM
Understanding Ada with Abstract Data Types
Understanding Ada with Abstract Data Types
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Further comments on Dijkstra's concurrent programming control problem
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Comments on a problem in concurrent programming control
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Introduction to Operation Systems Design
Introduction to Operation Systems Design
Operating system principles
Operating System Concepts
Understanding ADA; A Software Engineering Approach
Understanding ADA; A Software Engineering Approach
Ada and the control of intrusion
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
This paper presents a scheme for defining a simulation environment for n-process mutual exclusion algorithms based on an Ada virtual machine. Several algorithms have been implemented and tested in this simulation environment.