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...

Full description

Saved in:
Bibliographic Details
Main Author: Horváth Zoltán
Format: Article
Published: 1995
Series:Acta cybernetica 12 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Online Access:

Similar Items