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 |