Fundamenta Informaticae, Volume 60

Volume 60, Number 1-4, 2004

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