Вы здесь

Главная

дискретное время

Связанные издания:

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