Fundamenta Informaticae - Tom Vol. 54, nr 2,3 (2003) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 54, nr 2,3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2003

Identyfikatory

Zawartość wolumenu

Vol. 54, nr 2,3
- artykuł: Exercises in Style (Alpha Specifications) (Abraham U., Pinhas T.), s. 107-135
- artykuł: A Decidable Notion of Timed Non-Interference (Barbuti R., Tesei L.), s. 137-150
- artykuł: Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy (Coja-Oghlan A., Stehr M.-O.), s. 151-164
- artykuł: Proving Nets Correct via Cause-Effect Structures (An Experiment) (Czaja L.), s. 165-183
- artykuł: Some Considerations on Higher-Order Petri Nets (Farwer B., Kudlek M., Misra K.), s. 185-193
- artykuł: Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems (De Francesco N., Santone A., Tesei L.), s. 195-211
- artykuł: Undecidability of a Multi-Agent Logic (Kacprzak M.), s. 213-213
- artykuł: Concurrency in Mobile Object Net Systems (Köhler M., Rölke H.), s. 221-235
- artykuł: Dynamic Hierarchical Machines (Lanotte R., Maggiolo-Schettini A., Peron A., Tini S.), s. 237-252
- artykuł: Distributed Verification with LoLA (Schmidt K.), s. 253-262
- artykuł: Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments (Skowron A., Stepaniuk J., Peters J. F.), s. 263-277
- artykuł: Towards Ambitious Approximation Algorithms in Stubborn Set Optimization (Varpaaniemi K.), s. 279-294

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.