J. Markovski

Available identifiers

zbMath Open markovski.jasenMaRDI QIDQ1941865

List of research outcomes

Publication	Date of Publication	Type
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems	2015-06-12	Paper
Reconciling real and stochastic time: the need for probabilistic refinement	2013-03-22	Paper
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting	2010-09-10	Paper
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra	2010-02-05	Paper
Embedding Real Time in Stochastic Process Algebras	2009-03-12	Paper
Extending Timed Process Algebra with Discrete Stochastic Time	2009-01-27	Paper
Compositionality for Markov Reward Chains with Fast Transitions	2008-08-28	Paper
Classification of quasigroups by random walk on torus.	2005-11-21	Paper

Research outcomes over time

This page was built for person: J. Markovski