Algebraic automata specification of common and distributed memory parallel programs
Issues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered a...
Saved in:
Date: | 2015 |
---|---|
Main Authors: | Doroshenko, A.Yu., Tseytlin, G.E. |
Format: | Article |
Language: | Ukrainian |
Published: |
Інститут програмних систем НАН України
2015
|
Subjects: | |
Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/15 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Journal Title: | Problems in programming |
Institution
Problems in programmingSimilar Items
-
Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015) -
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015) -
Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015) -
Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025) -
Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)