The following pages link to (Q4896650):
Displaying 21 items.
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Special issue: Process algebra (Q1607490) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Process algebra for modal transition systemses (Q2917271) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- (Q3731021) (← links)
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator (Q3763573) (← links)
- (Q4029584) (← links)
- (Q4038732) (← links)
- (Q4494259) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- (Q4727412) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- (Q4965857) (← links)
- (Q4986264) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Fundamental Approaches to Software Engineering (Q5428888) (← links)