UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems
Article in Sensors (January 2021)
Formal Techniques for Distributed Objects, Components, and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Types for Deadlock-Free Higher-Order Programs
-
Altmetric BadgeChapter 2 On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency
-
Altmetric BadgeChapter 3 A Strategy for Automatic Verification of Stabilization of Distributed Algorithms
-
Altmetric BadgeChapter 4 Faster Linearizability Checking via P -Compositionality
-
Altmetric BadgeChapter 5 Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler
-
Altmetric BadgeChapter 6 Dynamic Causality in Event Structures
-
Altmetric BadgeChapter 7 Loop Freedom in AODVv2
-
Altmetric BadgeChapter 8 Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
-
Altmetric BadgeChapter 9 Timely Dataflow: A Model
-
Altmetric BadgeChapter 10 Difference Bound Constraint Abstraction for Timed Automata Reachability Checking
-
Altmetric BadgeChapter 11 Compliance and Subtyping in Timed Session Types
-
Altmetric BadgeChapter 12 Type Checking Privacy Policies in the π-calculus
-
Altmetric BadgeChapter 13 Extending Testing Automata to All LTL
-
Altmetric BadgeChapter 14 Simple Isolation for an Actor Abstract Machine
-
Altmetric BadgeChapter 15 Sliced Path Prefixes: An Effective Method to Enable Refinement Selection