Pages that link to "Item:Q5709379"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709379):
Displaying 26 items.
- Special issue: Process algebra (Q1607490) (← links)
- Process algebra with action dependencies (Q1608931) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- (Q2736352) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- Process algebra for modal transition systemses (Q2917271) (← links)
- Process Algebra for Parallel and Distributed Processing (Q3545001) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- (Q3776606) (← links)
- (Q3838763) (← links)
- (Q4029584) (← links)
- (Q4038732) (← links)
- (Q4411089) (← links)
- (Q4494259) (← links)
- (Q4798042) (← links)
- (Q4896650) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- (Q4965857) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)
- Programming Languages and Systems (Q5464037) (← links)
- Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)