Pages that link to "Item:Q1391791"
From MaRDI portal
The following pages link to A general conservative extension theorem in process algebras with inequalities (Q1391791):
Displaying 8 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)