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