The following pages link to (Q2863904):
Displayed 4 items.
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)