Volume 60,
Number 1-4,
2004
Concurrency Specification and Programming (CS&P 2003)
- 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
Copyright © Sat May 16 23:59:25 2009
by Michael Ley (ley@uni-trier.de)