Table of Contents: “... for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination...”

Full text 

Table of Contents: “...The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency...”

Full text 

Table of Contents: “...Basic Components and Combinatorial Circuits -- Numbers, Basic Circuits, and the ALU -- Sequential Circuits -- An Elementary Processor -- Assembly Programming -- Compiling Higher-Level Languages -- Computer Organisation -- The Raspberry Pi and the ARM...”

Full text 

Table of Contents: “... Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency...”

Full text 

Table of Contents: “...Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible...”

Full text 

Table of Contents: “... of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. ....”

Full text 

Table of Contents: “... behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved...”

Full text