Pages that link to "Item:Q1179808"
From MaRDI portal
The following pages link to A proof system for communicating processes with value-passing (Q1179808):
Displayed 13 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- Communicating processes with value-passing and assignments (Q688827) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Theory of interaction (Q896903) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- A modal logic for message passing processes (Q1894680) (← links)
- A theory of bisimulation for the \(\pi\)-calculus (Q1901699) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- The Value-Passing Calculus (Q2842635) (← links)