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