Вы здесь

Cherkasova L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Web Engineering and Peer-to-Peer Computing: Revised Papers: NETWORKING 2002 Workshops, Pisa, Italy, May 2002 2002 Lecture Notes in Computer Science
  1. Gregori E.
  2. Cherkasova L.
  3. Cugola G.
  4. Panzieri F.
23.10.2002