Volume 43,
Number 1-4,
July - August 2000
- Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite:
Analysis of Timed Concurrent Models Based on Testing Equivalence.
1-20
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla:
Finite Completeness of Categories of Petri Nets.
21-48
- Ludwik Czaja, Manfred Kudlek:
Rational, Linear and Algebraic Process Languages and Iteration Lemmata.
49-60
- Berndt Farwer:
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
61-79
- Adrianna Foremniak, Peter H. Starke:
Structural Analysis of Signal-Event Systems.
81-104
- Stefan Haar:
Occurrence Net Logics.
105-127
- Markus Hannebauer:
A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction.
129-151
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Timed Cooperating Automata.
153-173
- Timo Latvala, Keijo Heljanko:
Coping With Strong Fairness.
175-193
- Irina A. Lomazova:
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.
195-214
- Ines Münch, Gabriela Lindemann von Trzebiatowski:
ChariTime - Concepts of Analysis and Design of an Agent-Oriented System for Appointment Management.
215-226
- A. S. Nepomniaschaya, Maria A. Dvoskina:
A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors.
227-243
- Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper:
Improving Partial Order Reductions for Universal Branching Time Properties.
245-267
- James F. Peters, Andrzej Skowron, Zbigniew Suraj:
An Application of Rough Set Methods in Control Design.
269-290
- Lech Polkowski, Andrzej Skowron:
Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning.
291-320
- Stephan Roch:
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets.
321-330
- Karsten Schmidt:
Stubborn Sets for Model Checking the EF/AG Fragment of CTL.
331-341
- Kay Schröter, Gabriela Lindemann von Trzebiatowski, Lutz Fritsche:
TBase2 - a Web-Based Electronic Patient Record.
343-353
- Kimmo Varpaaniemi:
Stable Models for Stubborn Sets.
355-375
Copyright © Mon Nov 2 21:36:28 2009
by Michael Ley (ley@uni-trier.de)
