Adding inclusion dependencies to an object-oriented data model with uniqueness constraints Joachim BiskupTorsten Polle Original article Pages: 391 - 449
A word on 7 letters which is non-repetitive up to mod 5 James D. CurrieErica Moodie Original article Pages: 451 - 468
Strong bisimilarity of simple process algebras: complexity lower bounds Jiří Srba Original article Pages: 469 - 499
Structural operational semantics and bounded nondeterminism Wan FokkinkThuy Duong Vu Original article Pages: 501 - 516
Networks of evolutionary processors Juan CastellanosCarlos Martín-VideJosé M. Sempere Original article Pages: 517 - 529