Synthesis of Petri Nets with Localities, pages 1-23

Authors: M. Koutny and M. Pietkiewicz-Koutny

Abstract | References | BibTeX | Full Text (PDF)

A Generalized Approach to Optimization of Relational Data Warehouses Using Hybrid Greedy and Genetic Algorithms, pages 25-55

Authors: G. Velinov, M. Kon Popovska, and D. Gligoroski

Abstract | References | BibTeX | Full Text (PDF)

An Instruction Sequence Semigroup with Involutive Anti-Automorphisms, pages 57-92

Authors: J.A. Bergstra and A. Ponse

Abstract | References | BibTeX | Full Text (PDF)

Coalgebraic Weak Bisimulation for Action-Type Systems, pages 93-144

Authors: A. Sokolova, E. de Vink, and H. Woracek

Abstract | References | BibTeX | Full Text (PDF)