Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Univ.Warsaw
Связанные издания:
A note on an operation on concurrent systems
A parallel approach to lexicon design
Bakery Algorithms
Concurrency Specification and Programming: Proc./CS&P'95 Workshop. Warsaw, Poland, October 1995
Dynamically Stubborn Sets and the Sleep Set Methhod
Expressivity of Timed Petri Nets: Classical versus Time-Critical Viewpoint
Further Remarks on the Relationship between C-E Structures and Petri Nets
Generalized Markovian Cause-Effect Structures
Knowledge-Based Protocols in a Multi-Agent System: a case study
Proceedings of the CS@P 93 Workshop
Programming an Agreement Protocol with the help of PrT-Nets
Timed Network Semantics for Communicating Processes