| 0 | -- | 0 | Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj. Preface |
| 1 | -- | 16 | Antoni W. Mazurkiewicz. Bilateral Ranking Negotiations |
| 17 | -- | 31 | Peter D. Mosses. Exploiting Labels in Structural Operational Semantics |
| 33 | -- | 39 | Zdzislaw Pawlak. Decision Rules and Dependencies |
| 41 | -- | 66 | Stanislaw Ambroszkiewicz. Entish: A Language for Describing Data Processing in Open Distributed Systems |
| 67 | -- | 79 | Roberto Barbuti, Stefano Cataudella, Luca Tesei. Abstract Interpretation Against Races |
| 81 | -- | 98 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri. Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs |
| 99 | -- | 111 | Anatoly E. Doroshenko, Georgy Tseitlin. Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs |
| 113 | -- | 129 | Berndt Farwer, Michael Köhler. Mobile Object-Net Systems and their Processes |
| 131 | -- | 142 | Berndt Farwer, Manfred Kudlek. A New Synchronisation Model for Multi-Level Object Petri Nets |
| 143 | -- | 157 | Barbara Fryc, Krzysztof Pancerz, James F. Peters, Zbigniew Suraj. On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets |
| 159 | -- | 172 | Anna Gomolinska. A Graded Meaning of Formulas in Approximation Spaces |
| 173 | -- | 186 | Martin Heckel, Jaroslav Zendulka. Data Mining and Its Use in Texture Analysis |
| 187 | -- | 210 | Agata Janowska, Pawel Janowski. Slicing Timed Systems |
| 211 | -- | 224 | Beata Konikowska, Wojciech Penczek. On Designated Values in Multi-valued CTL:::*::: Model Checking |
| 225 | -- | 235 | Irina A. Lomazova. Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure |
| 237 | -- | 250 | Edward Ochmanski. Best Fairness Hierarchy in Elementary Nets |
| 251 | -- | 268 | Krzysztof Pancerz, Zbigniew Suraj. Discovering Concurrent Models from Data Tables with the ROSECON System |
| 269 | -- | 289 | Michal Polak, Pawel Majdzik, Zbigniew A. Banaszak, Robert Wójcik. The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes |
| 291 | -- | 305 | Lech Polkowski, Maria Semeniuk-Polkowska. Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework |
| 307 | -- | 331 | Agata Pólrola, Wojciech Penczek. Minimization Algorithms for Time Petri Nets |
| 333 | -- | 350 | Roman R. Redziejowski. On Associative Omega-Products |
| 351 | -- | 366 | Andrzej Skowron, Piotr Synak. Complex Patterns |
| 367 | -- | 382 | Simone Tini, Andrea Maggiolo-Schettini. Compositional Synthesis of Generalized Mealy Machines |
| 383 | -- | 399 | Irina Virbitskaite, Natalya S. Gribovskaja. Open Maps and Observational Equivalences for Timed Partial Order Models |
| 401 | -- | 415 | Marcin Wolski. Galois Connections and Data Analysis |
| 417 | -- | 434 | Andrzej Zbrzezny. Improvements in SAT-based Reachability Analysis for Timed Automata |