Volume XIX, 2009

Synthesis of Petri Nets with Localities, pages 1-23

M. Koutny and M. Pietkiewicz-Koutny

Abstract | Full text | BibTeX

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

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

Abstract | Full text | BibTeX

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

J.A. Bergstra and A. Ponse

Abstract | Full text | BibTeX

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

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

Abstract | Full text | BibTeX