Table of Contents: “... Active Actors -- Cellular Automata for Modeling Language Change -- Sznajd Model with Memory -- Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics -- Cellular Automata-Based Hardware and Computing Direction-Reversible Self-Timed...”

Full text 

Table of Contents: “...-Worker Computing -- State-Driven Testing of Distributed Systems -- Self-stabilizing Resource Discovery Algorithm -- Hybrid Distributed Consensus -- Speculative Concurrent Processing with Transactional Memory in the Actor Model -- An Optimal Broadcast Algorithm...”

Full text 

Full text 

Table of Contents: “... Theorem Proving -- Modeling and Verification of Probabilistic Actor Systems Using pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste of Separation Logic in First-OrderLogic -- The Confinement Problem in the Presence...”

Full text