Pages that link to "Item:Q2842868"
From MaRDI portal
The following pages link to Process algebras as specification language (work in progress) (Q2842868):
Displaying 6 items.
- Deriving graphical representations of process networks from algebraic expressions (Q685510) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- (Q3731021) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)