Volume 54,
Number 1,
2003
Volume 54,
Numbers 2-3,
2003
Special Issue
- Uri Abraham, Tamar Pinhas:
Exercises in Style (Alpha Specifications).
107-135
Electronic Edition (link) BibTeX
- Roberto Barbuti, Luca Tesei:
A Decidable Notion of Timed Non-Interference.
137-150
Electronic Edition (link) BibTeX
- Amin Coja-Oghlan, Mark-Oliver Stehr:
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy.
151-164
Electronic Edition (link) BibTeX
- Ludwik Czaja:
Proving Nets Correct via Cause-Effect Structures (An Experiment).
165-183
Electronic Edition (link) BibTeX
- Berndt Farwer, Manfred Kudlek, Kundan Misra:
Some Considerations on Higher-Order Petri Nets.
185-193
Electronic Edition (link) BibTeX
- Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
195-211
Electronic Edition (link) BibTeX
- Magdalena Kacprzak:
Undecidability of a Multi-Agent Logic.
213-220
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Concurrency in Mobile Object Net Systems.
221-235
Electronic Edition (link) BibTeX
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Dynamic Hierarchical Machines.
237-252
Electronic Edition (link) BibTeX
- Karsten Schmidt:
Distributed Verification with LoLA.
253-262
Electronic Edition (link) BibTeX
- Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters:
Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments.
263-277
Electronic Edition (link) BibTeX
- Kimmo Varpaaniemi:
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization.
279-294
Electronic Edition (link) BibTeX
Volume 54,
Number 4,
2003
Copyright © Sat May 16 23:59:25 2009
by Michael Ley (ley@uni-trier.de)