Pages that link to "Item:Q3460853"
From MaRDI portal
The following pages link to Programming Languages with Applications to Biology and Security (Q3460853):
Displayed 18 items.
- Pierpaolo Degano (Q3460854) (← links)
- Pierpaolo, a Great Friend (Q3460856) (← links)
- Distributed Authorization with Distributed Grammars (Q3460860) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Safe Adaptation Through Implicit Effect Coercion (Q3460866) (← links)
- Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods (Q3460868) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- Language Representability of Finite P/T Nets (Q3460873) (← links)
- There are Two Sides to Every Question (Q3460874) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)