Add to ORKGThesis. 1975. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.Bibliography: leaves 187-189.Ph.D
The formalism of temporal logic has been suggested to be an appropriate tool for expressing the sema...
We address the problem of specifying concurrent processes that can make local nondeterministic decis...
A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicat...
This paper examines methods for synchronisation and communication between tasks in highly parallel a...
Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of ...
The remainder of this thesis is organized as follows. Chapters 2 and 3 introduce the specification f...
This thesis presents a mechanism that will provide a semantic and syntactic environment for expressi...
Revised version of DAIMI PB-429 This is, we believe, the final version of a chapter for the Handboo...
In the context of communicating parallel process systems various paradigma for communication resp. s...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer ...
As computing demands increase, emphasis is being placed on parallel architectures- To efficiently us...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
The goal of parallel processing is to achieve high speed computing by partitioning a program into co...
Journal ArticleWe describe a style of specifying concurrent systems based upon the parallel composi...
The formalism of temporal logic has been suggested to be an appropriate tool for expressing the sema...
We address the problem of specifying concurrent processes that can make local nondeterministic decis...
A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicat...
This paper examines methods for synchronisation and communication between tasks in highly parallel a...
Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of ...
The remainder of this thesis is organized as follows. Chapters 2 and 3 introduce the specification f...
This thesis presents a mechanism that will provide a semantic and syntactic environment for expressi...
Revised version of DAIMI PB-429 This is, we believe, the final version of a chapter for the Handboo...
In the context of communicating parallel process systems various paradigma for communication resp. s...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer ...
As computing demands increase, emphasis is being placed on parallel architectures- To efficiently us...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
The goal of parallel processing is to achieve high speed computing by partitioning a program into co...
Journal ArticleWe describe a style of specifying concurrent systems based upon the parallel composi...
The formalism of temporal logic has been suggested to be an appropriate tool for expressing the sema...
We address the problem of specifying concurrent processes that can make local nondeterministic decis...
A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicat...