Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
Pierpaolo Degano
Pierpaolo, a Great Friend
Distributed Authorization with Distributed Grammars
Causal Trees, Finally
Limited Disclosure and Locality in Graphs
Hoare Logic for Disjunctive Information Flow
Alice and Bob: Reconciling Formal Models and Implementation
Asynchronous Traces and Open Petri Nets
Compliance in Behavioural Contracts: A Brief Survey
Safe Adaptation Through Implicit Effect Coercion
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Static Evidences for Attack Reconstruction
A Declarative View of Signaling Pathways
Securing Android with Local Policies
Global Protocol Implementations via Attribute-Based Communication
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Language Representability of Finite P/T Nets
Soulmate Algorithms
Active Knowledge, LuNA and Literacy for Oncoming Centuries
There are Two Sides to Every Question
From Safety Critical Java Programs to Timed Process Models
When to Move to Transfer Nets
$$\ell $$ : An Imperative DSL to Stochastically Simulate Biological Systems
Backmatter
← Prev
Back
Next →
← Prev
Back
Next →