Filter by: Subject
Now showing items 1-7
Probabilistic transition systems (2) |
Branching bisimulations (1) |
Logical characterization (1) |
Modal logics (1) |
Rules formats (1) |
Transition relation over distributions (1) |
Weak bisimulations (1) |
Probabilistic transition systems (2) |
Branching bisimulations (1) |
Logical characterization (1) |
Modal logics (1) |
Rules formats (1) |
Transition relation over distributions (1) |
Weak bisimulations (1) |