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