Pages that link to "Item:Q3163886"
From MaRDI portal
The following pages link to Proof System for Applied Pi Calculus (Q3163886):
Displayed 7 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Formalization of function matrix theory in HOL (Q2294128) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)