Fundamenta Informaticae, Volume 60

Volume 60, Number 1-4, 2004

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