The following pages link to (Q3994996):
Displayed 14 items.
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- The weakest deadlock-preserving congruence (Q673911) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Software operation time evaluation based on MTM (Q1028175) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- A general theory of action languages (Q1286273) (← links)
- On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Architectural CCS (Q1914040) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- Gate splitting in LOTOS specifications using abstract interpretation (Q5044753) (← links)
- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (Q5187823) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)