Using sequents for description of concurrent digital systems behavior

Design of Embedded Control Systems

Volumn , Issue , 2005, Pages 3-13

  Zakrevskij, Arkadij ^a  

^a UNITED INSTITUTE OF INFORMATICS PROBLEMS   (Belarus)

Author keywords

behavior level; concurrency; correctness; logical control; PLA implementation; sequent automaton; simple event

Indexed keywords

EID: 34547309662     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-28327-7_1     Document Type: Chapter

References (12)

1. M. Adamski, Digital Systems Design by Means of Rigorous and Structural Method. Wydawnictwo Wyzszej Szkoly Inzynierskiej, Zielona Gora (1990) (in Polish).
2. G. Gentzen, Untersuchungen über das Logische Schließen. Ukrainskii Matematicheskii Zhurnal, 39 176-210, 405-431 (1934-35).
3. V. S. Grigoryev, A. D. Zakrevskij, V. A. Perchuk, The Sequent Model of the Discrete Automaton. Vychislitelnaya Tekhnika v Mashinostroenii. Institute of Engineering Cybernetics, Minsk, 147-153 (March 1972) (in Russian).
4. V. N. Zakharov, Sequent Description of Control Automata. Izvestiya AN SSSR, No. 2 (1972) (in Russian).
5. V. N. Zakharov, Automatawith DistributedMemory. Energia, Moscow (1975) (in Russian).
6. A. D. Zakrevskij, V. S. Grigoryev, A system for synthesis of sequent automata in the basis of arbitrary DNFs. In: Problems of Cybernetics. Theory of Relay Devices and Finite Automata. VINITI, Moscow, 157-166, (1975) (in Russian).
7. A. D. Zakrevskij, Optimizing Sequent Automata. Optimization in Digital Devices Design. Leningrad, 42-52, (1976) (in Russian).
8. A. D. Zakrevskij, Optimizing transformations of sequent automata. Tanul. MTA SeAKJ, 63, Budapest, 147-151, (1977) (in Russian).
9. A. D. Zakrevskij, Logical Synthesis of Cascade Networks. Nauka Moscow (1981) (in Russian).
10. A. D. Zakrevskij, The analysis of concurrent logic control algorithms. In: L. Budach, R. G. Bukharaev, O. B. Lupanov (eds.), Fundamentals of Computation Theory. Lecture Notes in Computer Science, Vol. 278. Springer-Verlag, Berlin Heidelberg New York London Paris Tokyo, 497-500, (1987).
11. A. D. Zakrevskij, Parallel Algorithms for Logical Control. Institute of Engineering Cybernetics, Minsk (1999) (in Russian).
12. A. D. Zakrevskij, Y. V. Pottosin, V. I. Romanov, I. V. Vasilkova, Experimental system of automated design of logical control devices. In: Proceedings of the International Workshop "Discrete Optimization Methods in Scheduling and Computer-Aided Design", Minsk pp. 216-221 (September 5-6, 2000).