Table of Contents: “... Memory in the Actor Model -- Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud -- Practical Evaluation of Large Scale Applications -- Cheap and Cheerful: Trading Speed and Quality for Scalable Social-Recommenders -- Replication...”

Full text 

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: “... Interpretation into Risky Decision-Making: A Computational Model -- Labeling Actors in Social Networks Using a Heterogeneous Graph Kernel -- Sample Size Determination to Detect Cusp Catastrophe in Stochastic Cusp Catastrophe Model: A Monte-Carlo Simulation-Based...”

Full text 

Table of Contents: “... Elimination for Dynamic Race Detectors -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? -- Analysis and Verification -- Joins: A Case Study in Modular...”

Full text 

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 

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