The following pages link to (Q4965819):
Displaying 13 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- (Q4993768) (← links)
- (Q5009421) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
