Pages that link to "Item:Q3525145"
From MaRDI portal
The following pages link to A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes (Q3525145):
Displaying 7 items.
- A model of reconfiguration in communicating sequential processes with a notion of transactions (Q1186564) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Lattices of processes in graphs with inputs (Q1907769) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- (Q3796726) (← links)
- Algebraic posets, algebraic cpo's and models of concurrency (Q3975029) (← links)
- (Q4422085) (← links)