|
СТ |
The undecidability of propositional temporal logic for Petri nets |
1987 |
Cherkasova L. A., Kotov V. E. |
|
|
|
Computers and Artificial Intelligence |
16.12.1992 |
|
СТ |
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 |
|
СТ |
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 |
