The following pages link to Pierpaolo Degano (Q530215):
Displayed 50 items.
- Item:Q530215 (redirect page) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Regular and context-free nominal traces (Q530218) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Causality for debugging mobile agents (Q1806172) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)
- A causal operational semantics of action refinement (Q1900316) (← links)
- Axiomatizing the algebra of net computations and processes (Q1901718) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Robust declassification by incremental typing (Q2303362) (← links)
- From natural projection to partial model checking and back (Q2324221) (← links)
- (Q2766538) (← links)
- Last Mile’s Resources (Q2796215) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Techniques for Security Checking (Q2841279) (← links)
- (Q2849572) (← links)
- (Q2849853) (← links)
- Nominal Automata for Resource Usage Control (Q2914700) (← links)
- Linguistic Mechanisms for Context-Aware Security (Q2938152) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Automata for Specifying and Orchestrating Service Contracts (Q2974790) (← links)
- Secure Service Orchestration (Q3184791) (← links)
- (Q3210197) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- (Q3359754) (← links)
- ν-Types for Effects and Freshness Analysis (Q3393400) (← links)
- Ugo Montanari in a Nutshell (Q3507352) (← links)
- (Q3677155) (← links)
- (Q3681915) (← links)
- An Evaluation Based Theorem Prover (Q3681965) (← links)
- (Q3687696) (← links)
- (Q3774958) (← links)
- A normal form for restricted exponential functions (Q3816059) (← links)
- (Q3821598) (← links)
- (Q3893360) (← links)
- (Q3896523) (← links)
- (Q3957929) (← links)
- (Q4035233) (← links)