|
1 |
Equivalences for modular performance analysis in dtsPBC
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2011
|
|
|
|
2 |
Investigating equivalence relations in dtsPBC
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2008
|
|
|
|
3 |
Discrete time stochastic Petri box calculus
Tarasjuk, Igorʹ V.. - Oldenburg : Carl-von-Ossietzky-Univ., Dep. für Informatik, [2005]
|
|
|
|
4 |
A class of stochastic Petri nets with step semantics and related equivalence notions
Buchholz, Peter. - Dresden : TU, Fak. Informatik, 2000
|
|
|
|
5 |
τ-equivalences and refinement for Petri nets based design
Tarasjuk, Igorʹ V.. - Dresden : TU, Fak. Informatik, 2000
|
|
|
|
6 |
Equivalences for concurrent and distributed systems
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fachbereich Informatik, 1999
|
|
|
|
7 |
An investigation of back-forth and place bisimulation equivalences
Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997
|
|
|
|
8 |
An investigation of τ-equivalencs [tau-equivalences]
Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997
|
|
|
|
9 |
Equivalence notions for design of concurrent systems using Petri nets
Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1996
|
|
Administration
