The following pages link to Mohammad Mousavi (Q3409383):
Displaying 12 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Exploiting Algebraic Laws to Improve Mechanized Axiomatizations (Q2848938) (← links)
- A hierarchy of SOS rule formats (Q2852093) (← links)
- Prototyping SOS meta-theory in Maude (Q2852099) (← links)
- On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) (Q2866315) (← links)
- A congruence rule format with universal quantification (Q2871833) (← links)
- Social influence and evolution of market share (Q2909120) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- (Q5028468) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898160) (← links)