English
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Harmony: The Art of Reconciliation
-
Altmetric BadgeChapter 2 A Theory of Noninterference for the π -Calculus
-
Altmetric BadgeChapter 3 Typed Processes in Untyped Contexts
-
Altmetric BadgeChapter 4 Model–Based Testing of Cryptographic Protocols
-
Altmetric BadgeChapter 5 A General Name Binding Mechanism
-
Altmetric BadgeChapter 6 Types for Security in a Mobile World
-
Altmetric BadgeChapter 7 History-Based Access Control for Distributed Processes
-
Altmetric BadgeChapter 8 Programming Cryptographic Protocols
-
Altmetric BadgeChapter 9 A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange
-
Altmetric BadgeChapter 10 A Formal Semantics for Protocol Narrations
-
Altmetric BadgeChapter 11 web π at Work
-
Altmetric BadgeChapter 12 Concurrency Among Strangers
-
Altmetric BadgeChapter 13 The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library
-
Altmetric BadgeChapter 14 A Practical Formal Model for Safety Analysis in Capability-Based Systems
-
Altmetric BadgeChapter 15 Mixin Modules for Dynamic Rebinding
-
Altmetric BadgeChapter 16 A Distributed Object-Oriented Language with Session Types
-
Altmetric BadgeChapter 17 Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
-
Altmetric BadgeChapter 18 Automated Analysis of Infinite Scenarios
-
Altmetric BadgeChapter 19 Namespace Logic: A Logic for a Reflective Higher-Order Calculus
-
Altmetric BadgeChapter 20 Erratum
Altmetric Badge
About this Attention Score
-
Above-average Attention Score compared to outputs of the same age (59th percentile)
-
Good Attention Score compared to outputs of the same age and source (67th percentile)
Citations
- dimensions_citation
- 4 Dimensions
Readers on
- mendeley
- 25 Mendeley