The following pages link to From CML to its process algebra (Q672132):
Displaying 10 items.
- A behavioural theory of first-order CML (Q1285654) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Behavior analysis for validating communication patterns (Q1856180) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Semantics for core Concurrent ML using computation types (Q2704322) (← links)
- A theory of weak bisimulation for core CML (Q2817698) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- Parameterised notions of computation (Q3638920) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)
