Pages that link to "Item:Q2373649"
From MaRDI portal
The following pages link to Non-bisimulation-based Markovian behavioral equivalences (Q2373649):
Displaying 8 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)
- Towards State Space Reduction Based on T-Lumpability-Consistent Relations (Q3543307) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
