Volume 51,
Number 1-2,
May 2002
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei:
A Notion of Non-Interference for Timed Automata.
1-11
- Viviana Bono, Jerzy Tiuryn:
Products and Polymorphic Subtypes.
13-41
- Ludwik Czaja:
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis.
43-58
- Piotr Dembinski, Wojciech Penczek, Agata Pólrola:
Verification of Timed Automata Based on Similarity.
59-89
- Berndt Farwer:
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.
91-101
- Anna Gomolinska:
A Comparative Study of Some Generalized Rough Approximations.
103-119
- Irina A. Lomazova:
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets.
121-133
- Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny:
Bounded Model Checking for the Universal Fragment of CTL.
135-156
- James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk, Sheela Ramanna:
Towards an Ontology of Approximate Reason.
157-173
- Zbigniew W. Ras, Shishir Gupta:
Global Action Rules in Distributed Knowledge Systems.
175-184
- Jan Richling, Louchka Popova-Zeugmann, Matthias Werner:
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
185-200
- Zbigniew Suraj, James F. Peters, W. Rzqsa:
A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification.
201-214
- Kimmo Varpaaniemi:
Minimizing the Number of Successor States in the Stubborn Set Method.
215-234
- Józef Winkowski:
Reachability in Contextual Nets.
235-250
Volume 51,
Number 3,
June 2002
Volume 51,
Number 4,
2002
Copyright © Sat Nov 28 22:29:07 2009
by Michael Ley (ley@uni-trier.de)