J. Markovski

MaRDI QIDQ1941865zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems Discrete Event Dynamic Systems	2015-06-12	Paper
Reconciling real and stochastic time: the need for probabilistic refinement Formal Aspects of Computing	2013-03-22	Paper
Reconciling urgency and variable abstraction in a hybrid compositional setting Lecture Notes in Computer Science	2010-09-10	Paper
Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra Fundamenta Informaticae	2010-02-05	Paper
Embedding Real Time in Stochastic Process Algebras Formal Methods and Stochastic Models for Performance Evaluation	2009-03-12	Paper
Extending Timed Process Algebra with Discrete Stochastic Time Algebraic Methodology and Software Technology	2009-01-27	Paper
Compositionality for Markov Reward Chains with Fast Transitions Formal Methods and Stochastic Models for Performance Evaluation	2008-08-28	Paper
Classification of quasigroups by random walk on torus. Journal of Applied Mathematics and Computing	2005-11-21	Paper

Research outcomes over time

This page was built for person: J. Markovski