A number of mainly independent sequential-cyclic processes with restricted means of communication with each other can be made in such a way that at any moment one and only one of them is engaged in the "critical section" of its cycle
Abstract. We present a reduction from a concurrent real-time program with priority preemptive schedu...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--1/93) / BLDSC - B...
In these notes we discuss the design of concurrent programs that consist of a set of communicating s...
A number of mainly independent sequential-cyclic processes with restricted means of communication wi...
A method is presented for programming correct and efficient cooperation in a set of sequential modul...
In order to study the problems of synchronization between concurrent processes, a distinction is mad...
We give a translation from concurrent programs to sequential programs that reduces the context-boun...
AbstractA class of sequential programs is distributed through a series of program transformations. T...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
The proponent extends Process Algebra (PA) in terms of its components and how it is constructed. Thi...
AbstractConcurrent systems and their behaviours are investigated. The behaviour of a system is under...
The main purpose of this paper is to create more evidence for the observation that parallel programs...
Professor Dijkstra's ingenious construction [Solution of a Problem in Concurrent Programming Control...
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is und...
Part 1: Production ProcessInternational audienceThe cyclic scheduling problem modeled in terms of Cy...
Abstract. We present a reduction from a concurrent real-time program with priority preemptive schedu...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--1/93) / BLDSC - B...
In these notes we discuss the design of concurrent programs that consist of a set of communicating s...
A number of mainly independent sequential-cyclic processes with restricted means of communication wi...
A method is presented for programming correct and efficient cooperation in a set of sequential modul...
In order to study the problems of synchronization between concurrent processes, a distinction is mad...
We give a translation from concurrent programs to sequential programs that reduces the context-boun...
AbstractA class of sequential programs is distributed through a series of program transformations. T...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
The proponent extends Process Algebra (PA) in terms of its components and how it is constructed. Thi...
AbstractConcurrent systems and their behaviours are investigated. The behaviour of a system is under...
The main purpose of this paper is to create more evidence for the observation that parallel programs...
Professor Dijkstra's ingenious construction [Solution of a Problem in Concurrent Programming Control...
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is und...
Part 1: Production ProcessInternational audienceThe cyclic scheduling problem modeled in terms of Cy...
Abstract. We present a reduction from a concurrent real-time program with priority preemptive schedu...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--1/93) / BLDSC - B...
In these notes we discuss the design of concurrent programs that consist of a set of communicating s...
DOI
Add to ORKG