External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 27, Issue 2

    111 -- 135Jan A. Bergstra, C. A. Middelburg. Axioms for Behavioural Congruence of Single-Pass Instruction Sequences
    137 -- 176Akim Demaille. Derived-Term Automata of Multitape Expressions with Composition
    177 -- 212Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny. Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities

    Volume 27, Issue 1

    1 -- 18Jan A. Bergstra, Inge Bethke. Subvarieties of the Variety of Meadows
    19 -- 76Paola Giannini, Albert Shaqiri. A Provably Correct Compilation of Functional Languages into Scripting Languages
    77 -- 109Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001. Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
    runs on