Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXVII, Issue 2, 2017

Axioms for Behavioural Congruence of Single-Pass Instruction Sequences, pages 111-135
J.A. Bergstra, C.A. Middelburg
Abstract | References | BibTeX | Full text (PDF)

Derived-Term Automata of Multitape Expressions with Composition, pages 137-176
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
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny
Abstract | References | BibTeX | Full text (PDF)


© 2006-2019 FII | Contact: annals at info.uaic.ro