Volume XXVII, Issue 2, 2017 Axioms for Behavioural Congruence of Single-Pass Instruction Sequences, pages 111-135 Authors: J.A. Bergstra, C.A. Middelburg Abstract | References | BibTeX | Full Text (PDF) Derived-Term Automata of Multitape Expressions with Composition, pages 137-176 Authors: A. Demaille Abstract | References | BibTeX | Full Text (PDF) Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities, pages 177-212 Authors: J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny Abstract | References | BibTeX | Full Text (PDF)
