The following pages link to The Applied Pi Calculus (Q3177888):
Displaying 21 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- A sorted semantic framework for applied process calculi (Q2800971) (← links)
- (Q3384912) (← links)
- (Q3384915) (← links)
- (Q5009710) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- (Q5155663) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Mobile values, new names, and secure communication (Q5178877) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)
- Store locally, prove globally (Q6605367) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)
