Indirect Jumps Improve Instruction Sequence Performance, pages 253-265

Authors: J.A. Bergstra, C.A. Middelburg

Standard Type Soundness for Agents and Artifacts, pages 267-326

Authors: F. Damiani, P. Giannini, A. Ricci, M. Viroli

On Safety Properties and Their Monitoring, pages 327-365

Authors: G. Roșu

Position Automata for Kleene Algebra with Tests, pages 367-394

Authors: A. Silva