×

Deterministic asynchronous interpretation of parallel microprograms. (English. Russian original) Zbl 0604.68025

Cybernetics 21, 775-783 (1985); translation from Kibernetika 1985, No. 6, 45-51 (1985).

MSC:

68N25 Theory of operating systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] O. L. Bandman, ?Asynchronous interpretation of parallel microprograms,? Kibernetika, No. 2, 14?19 (1984). · Zbl 0569.68021
[2] O. L. Bandman, ?Synthesis of asynchronous microprogram control for parallel processes,? Kibernetika, No. 1, 42?47 (1980). · Zbl 0454.68055
[3] O. L. Bandman, S. V. Piskunov, and S. N. Sergeev, ?Synthesis of parallel microprogram structures,? Kibernetika, No. 5, 48?54 (1981).
[4] O. L. Bandman (ed.), Methods of Parallel Microprogramming [in Russian], Nauka, Novosibirsk (1981). · Zbl 0523.68003
[5] S. N. Sergeev, ?Recognizing consistency of stationary substitution algorithms,? Vychislitel’nye Sistemy, Novosibirsk, No. 82, 18?25 (1980).
[6] R. M. Karp and R. E. Miller, ?Parallel program schemata,? Kibern. Sborn., No. 13, 5?61 (1976).
[7] J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, N.J. (1981). · Zbl 0461.68059
[8] L. H. Landweber and E. L. Robertson, ?Properties of conflict-free and persistent Petri nets,? J. ACM,25, No. 3, 352?364 (1978). · Zbl 0384.68062 · doi:10.1145/322077.322079
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.