Volume XXVIII, Issue 2, 2018

High-Level Koutny Net, pages 157-159

Authors: G. Ciobanu

Pattern Matching in Link Streams: Timed-Automata with Finite Memory, pages 161-198

Authors: C. Bertrand, F. Peschanski, H. Klaudel, M. Latapy

Simultaneous Petri Net Synthesis, pages 199–236

Authors: E. Best, R. Devillers, U. Schlachter, H. Wimmel

A Precise Characterisation of Step Traces and Their Concurrent Histories, pages 237-267

Authors: R. Janicki, J. Kleijn, L. Mikulski

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME, pages 269–288

Authors: A. Niewiadomski, P. Switalski, T. Sidoruk, W. Penczek

Fault-Free Refinements for Interface Automata, pages 289–337

Authors: A. Schinko, W. Vogler

Volume XXVIII, Issue 1, 2018

The Theory of Finitely Supported Structures and Choice Forms, pages 1–38

Authors: A. Alexandru

Instruction Sequences Expressing Multiplication Algorithms, pages 39-66

Authors: J.A. Bergstra, C.A. Middelburg

The Reticulation of a Universal Algebra, pages 67–113

Authors: G. Georgescu, C. Mureșan

(Skew) Filters in Residuated Skew Lattices, pages 115–140

Authors: R. Koohnavard, A. Borumand Saeid

On Partition Metric Space, Index Function, and Data Compression, pages 141–156

Authors: D.A. Simovici, R. Sizov