Pages that link to "Item:Q1333405"
From MaRDI portal
The following pages link to On sequential composition, action prefixes and process prefix (Q1333405):
Displaying 8 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Logic of transition systems (Q1895974) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)