The following pages link to Mohammadreza Mousavi (Q835033):
Displayed 10 items.
- A syntactic commutativity format for SOS (Q835035) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Formal modeling of evolving self-adaptive systems (Q1951611) (← links)
- Modular Semantics for Transition System Specifications with Negative Premises (Q2842096) (← links)
- (Q3191614) (← links)
- (Q4964002) (← links)
- (Q5357692) (← links)
- Compositional learning for interleaving parallel automata (Q6091209) (← links)
- DyNetKAT: an algebra of dynamic networks (Q6181928) (← links)