Volume 67,
Number 1-3,
2005
Concurrency Specification and Programming (CS&P 2004)
- Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj:
Preface: Concurrency Specification and Programming.
- Roberto Barbuti, Stefano Cataudella:
Abstract Interpretation of an Object Calculus for Synchronization Optimizations.
1-12
- Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Probabilistic Model for Molecular Systems.
13-27
- Marco Bellia, M. Eugenia Occhiuto:
Higher order Programming in Java: Introspection, Subsumption and Extraction.
29-44
- Ludwik Czaja:
An Axiomatic Framework for Proving Correctness of Nets.
45-64
- Berndt Farwer, Michael Köhler:
Petri Net Processes for Zero-Safe Nets.
65-75
- Anna Gomolinska:
Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces.
77-92
- Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska:
On Star-Connected Flat Languages.
93-105
- Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina:
Automatic Modeling and Analysis of MSC-specified Systems.
107-120
- Manfred Kudlek:
Probability in Petri Nets.
121-130
- Rafal Latkowski:
Flexible Indiscernibility Relations for Missing Attribute Values.
131-147
- Louchka Popova-Zeugmann, Monika Heiner, Ina Koch:
Time Petri Nets for Modelling and Analysis of Biochemical Networks.
149-162
- Louchka Popova-Zeugmann, Matthias Werner:
Extreme Runtimes of Schedules Modelled by Time Petri Nets.
163-174
- Roman R. Redziejowski:
Associative Omega-products of Traces.
175-185
- Kay Schröter, Diemo Urbig, Nora Hans:
Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations.
187-201
- Jaroslaw Stepaniuk, Jan G. Bazan, Andrzej Skowron:
Modelling Complex Patterns by Information Systems.
203-217
- Zbigniew Suraj, James F. Peters, Piotr Grochowalski:
A Controller Design for the Khepera Robot: A Rough Set Approach.
219-231
- Zbigniew Suraj, Krzysztof Pancerz:
Restriction-Based Concurrent System Design Using the Rough Set Formalism.
233-247
- Piotr Synak, Jan G. Bazan, Andrzej Skowron, James F. Peters:
Spatio-Temporal Approximate Reasoning over Complex Objects.
249-269
- Diemo Urbig:
Weight-Based Negotiation Mechanisms: Balancing Personal Utilities.
271-285
- Dobieslaw Wróblewski:
Universal Semi-local Election Protocol Using Forward Links.
287-301
- Andrzej Zbrzezny:
SAT-based Reachability Checking for Timed Automata with Diagonal Constraints.
303-322
Volume 67,
Number 4,
2005
Copyright © Tue Dec 1 16:31:45 2009
by Michael Ley (ley@uni-trier.de)
