Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
дискретное время
Связанные издания:
A notation of congruence for dtsPBC
Discrete time stochastic Petri box calculus with immediate multiactions
Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Equivalences for modular performance analysis in dtsPBC
Investigating equivalence relations in dtsPBC
Iteration in discrete time stochastic Petri box calculus
Performance evaluation of the generalized shared memory system in dtsPBC
Performance preserving equivalences for dtsPBC