Вы здесь

Cherkasova L. A.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Descriptive and Analytical Process Algebras 1988 Cherkasova L. A., Kotov V. E. Application and Theory of Petri Nets 07.07.1995
СТ Notes on Algebras of Processes Represented by Petri Nets 1988 Cherkasova L. A. Informatik. Informationen reporte Modelling and Performance Evaluation of Distributed Computer Systems. P.2 23.12.1992
СТ The undecidability of propositional temporal logic for Petri nets 1987 Cherkasova L. A., Kotov V. E. Computers and Artificial Intelligence 16.12.1992
СТ Concurrent Processes with Synchronization: Net and Algebraic Approaches 1989 Cherkasova L. A., Filurin A. S. Methods of Theoretical and Experimental Computer Science 02.12.1992
СТ An algebra of concurrent non-deterministic processes 1991 Cherkasova L. A., Kotov V. E. Images of Programming: Dedicated to the Memory of A.P. Ershov 06.02.1992