Parallel asynchronous computation of the values of an associative function
This paper shows an application of a formal approach to parallel program design. The basic model is related to temporal logics. We summarize the concepts of a relational model of parallelism in the introduction. The main part is devoted to the problem of synthesizing a solution for the problem of pa...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
1995
|
| Series: | Acta cybernetica
12 No. 1 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Subjects: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12544 |