Labeled transition systems are typically used as behavioral models of concurrent processes.
Their labeled transitions define a one-step state-to-state reachability relation. This model …

Markovian behavioral equivalences are a means to relate and manipulate the formal
descriptions of systems with an underlying CTMC semantics. There are three fundamental …

The behavioral equivalence that is typically used to relate Markovian process terms and to
reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is that …

This paper reconsiders Bernardo's T-lumpability on continuous-time Markov chains
(CTMCs). This notion allows for a more aggressive state-level aggregation than ordinary …

Behavioural equivalences are a means of establishing whether computing systems possess
the same properties. The specific set of properties that are preserved by a specific …

In einem breiten Spektrum von Systemen, etwa bei eingebetteten, verteilten,
netzwerkbasierten und biologischen System sowie im Bereich Security, treten Phänomene …

This paper proposes a formal framework for minimizing, analyzing and verifying stochastic
process algebraic models using tools and techniques developed for the state-labeled …

Silent steps in transition systems and Markov chains Page 1 Silent steps in transition systems
and Markov chains Citation for published version (APA): Trcka, N. (2007). Silent steps in …

A substantial amount of today's engineering problems revolve around systems that are
concurrent and stochastic by their nature. Solution approaches attacking these problems …

This paper defines embeddings which allow one to construct an action labeled continuous-
time Markov chain (ACTMC) from a state labeled continuous-time Markov chain (SCTMC) …