Pages that link to "Item:Q5705909"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705909):
Displayed 5 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)