Pages that link to "Item:Q2373649"
From MaRDI portal
The following pages link to Non-bisimulation-based Markovian behavioral equivalences (Q2373649):
Displaying 6 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
