On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi |
scientific article |
Statements
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (English)
0 references
12 December 2014
0 references
stochastic process algebra
0 references
weak bisimulation equivalence
0 references
compositionality
0 references
continuous-time Markov chains
0 references
pseudo-aggregations
0 references
exactness
0 references
