↓ Skip to main content

Programming Languages with Applications to Biology and Security

Overview of attention for book
Cover of 'Programming Languages with Applications to Biology and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Pierpaolo Degano
  3. Altmetric Badge
    Chapter 2 Pierpaolo, a Great Friend
  4. Altmetric Badge
    Chapter 3 Distributed Authorization with Distributed Grammars
  5. Altmetric Badge
    Chapter 4 Causal Trees, Finally
  6. Altmetric Badge
    Chapter 5 Limited Disclosure and Locality in Graphs
  7. Altmetric Badge
    Chapter 6 Hoare Logic for Disjunctive Information Flow
  8. Altmetric Badge
    Chapter 7 Alice and Bob: Reconciling Formal Models and Implementation
  9. Altmetric Badge
    Chapter 8 Asynchronous Traces and Open Petri Nets
  10. Altmetric Badge
    Chapter 9 Compliance in Behavioural Contracts: A Brief Survey
  11. Altmetric Badge
    Chapter 10 Safe Adaptation Through Implicit Effect Coercion
  12. Altmetric Badge
    Chapter 11 Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
  13. Altmetric Badge
    Chapter 12 Static Evidences for Attack Reconstruction
  14. Altmetric Badge
    Chapter 13 A Declarative View of Signaling Pathways
  15. Altmetric Badge
    Chapter 14 Securing Android with Local Policies
  16. Altmetric Badge
    Chapter 15 Global Protocol Implementations via Attribute-Based Communication
  17. Altmetric Badge
    Chapter 16 Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
  18. Altmetric Badge
    Chapter 17 Language Representability of Finite P/T Nets
  19. Altmetric Badge
    Chapter 18 Soulmate Algorithms
  20. Altmetric Badge
    Chapter 19 Active Knowledge, LuNA and Literacy for Oncoming Centuries
  21. Altmetric Badge
    Chapter 20 There are Two Sides to Every Question
  22. Altmetric Badge
    Chapter 21 From Safety Critical Java Programs to Timed Process Models
  23. Altmetric Badge
    Chapter 22 When to Move to Transfer Nets
  24. Altmetric Badge
    Chapter 23 $$\ell $$ : An Imperative DSL to Stochastically Simulate Biological Systems
Attention for Chapter 6: Hoare Logic for Disjunctive Information Flow
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Hoare Logic for Disjunctive Information Flow
Chapter number 6
Book title
Programming Languages with Applications to Biology and Security
Published by
Springer, Cham, January 2015
DOI 10.1007/978-3-319-25527-9_6
Book ISBNs
978-3-31-925526-2, 978-3-31-925527-9
Authors

Hanne Riis Nielson, Flemming Nielson, Ximeng Li, Nielson, Hanne Riis, Nielson, Flemming, Li, Ximeng