Pages that link to "Item:Q5705909"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705909):
Displaying 6 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)
- (Q5013870) (← links)