Indirect Jumps Improve Instruction Sequence Performance, pages 253-265

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

Abstract | References | BibTeX | Full Text (PDF)

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

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

Abstract | References | BibTeX | Full Text (PDF)

On Safety Properties and Their Monitoring, pages 327-365

Authors: G. Roșu

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: A. Silva

Abstract | References | BibTeX | Full Text (PDF)