СТ |
Bounded Self-Stabilizing Petri Nets |
1995 |
Cherkasova L., Howell R. R., Rosier L. E. |
|
|
|
Acta Informatica |
04.07.1995 |
СТ |
R2: A Damped Adaptive Router Design |
1994 |
Davis A., Hodgson R., Robinson I., Cherkasova L., Kotov V., Rokicki T. |
|
|
|
Lecture Notes in Computer Science |
10.12.1994 |
СТ |
On Net Modeling of Industrial Size Concurrent Systems |
1993 |
Cherkasova L., Kotov V. |
|
|
|
Lecture Notes in Computer Science |
24.08.1993 |
СТ |
On Properties of Nets for Modelling of Systems and Generalized Processes |
1985 |
Cherkasova L., Kotov V. |
|
|
|
Annales Univ. Sci. Budapestinensis. Sectio Combinatorica |
16.06.1992 |
П |
Techniques and Metodology for Concurrent System Modelling Based on Net Theory |
1992 |
Kotov V., Cherkasova L. |
|
|
Hewlett-Packard |
Управляю ие системы и машины |
16.06.1992 |
П |
Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization |
1990 |
Cherkasova L. |
|
|
Univ. Gesamthochschule Paderborn |
|
04.06.1992 |
СТ |
An algebra of concurrent nondeterministic processes |
1991 |
Cherkasova L., Kotov V. |
|
|
|
Theoretical Computer Science |
25.12.1991 |
П |
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |
1990 |
Cherkasova L. |
|
|
Centrum voor Wiskunde en Informatica |
|
29.03.1991 |