The following pages link to J. Markovski (Q1941865):
Displayed 8 items.
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Classification of quasigroups by random walk on torus. (Q2574325) (← links)
- Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra (Q3400551) (← links)
- Compositionality for Markov Reward Chains with Fast Transitions (Q3522086) (← links)
- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting (Q3588083) (← links)
- Embedding Real Time in Stochastic Process Algebras (Q3613667) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)