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)