Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Adding a/sync places to the synthesis procedure for whole-place operations nets with localities. (English) Zbl 1424.68106 Sci. Ann. Comput. Sci. 27, No. 2, 177-212 (2017). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Demaille, Akim Derived-term automata of multitape expressions with composition. (English) Zbl 1424.68085 Sci. Ann. Comput. Sci. 27, No. 2, 137-176 (2017). MSC: 68Q45 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Axioms for behavioural congruence of single-pass instruction sequences. (English) Zbl 1424.68027 Sci. Ann. Comput. Sci. 27, No. 2, 111-135 (2017). MSC: 68N15 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv