Fundamenta Informaticae - Tom Vol. 79, nr 3-4 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 79, nr 3-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 79, nr 3-4
- artykuł: Compositional Systems over Reducible Networks - invited paper (Mazurkiewicz A.), s. 265-282
- artykuł: Interpreted Nets (Czaja L.), s. 283-293
- artykuł: Decidability Problems of a Basic Class of Object Nets (Dietze R., Kudlek M., Kummer O.), s. 295-302
- artykuł: Concurrent Turing Machines (Farwer B., Kudlek M., Rölke H.), s. 303-317
- artykuł: Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects (Gomolińska A.), s. 319-333
- artykuł: Observation Based System Security (Gruska D.P.), s. 335-346
- artykuł: Checking Properties of Adaptive Workflow Nets (van Hee K., Oanea O., Serebrenik A., Sidorova N., Voorhoeve M., Lomazova I.A.), s. 347-362
- artykuł: Modelling and Checking Timed Authentication of Security Protocols (Jakubowska G., Penczek W.), s. 363-378
- artykuł: Path Compression in Timed Automata (Janowska A., Penczek W.), s. 379-399
- artykuł: The Reachability Problem for Object Nets (Köhler M.), s. 401-413
- artykuł: A Formal Model of Multi-Agent Organisations (Köhler M.), s. 415-430
- artykuł: Algorithm of Translation of MSC-specified System into Petri Net (Kryvyy S., Matvyeyeva L.), s. 431-445
- artykuł: On Semilinear Sets over Commutative Semirings (Kudlek M.), s. 447-452
- artykuł: Verifying Security Protocols Modelled by Networks of Automata (Kurkowski M., Penczek W.), s. 453-471
- artykuł: Verification of the Tesla protocol in Mcmas-x (Lomuscio A., Raimondi F., Woźna B.), s. 473-486
- artykuł: Local Properties of Triangular Graphs (Mazurkiewicz A.), s. 487-495
- artykuł: Nearness of Objects: Extension of Approximation Space Model (Peters J.F., Skowron A.), s. 497-512
- artykuł: Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking (Redziejowski R.R.), s. 513-524
- artykuł: Relational Data and Rough Sets (Stepaniuk J.), s. 525-539
- artykuł: Analysis of Approximate Petri Nets by Means of Occurrence Graphs (Suraj Z., Fryc B.), s. 541-551
- artykuł: Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems (Suraj Z., Pancerz K.), s. 553-566
- artykuł: Approximation Spaces and Nearness Type Structures (Wolski M.), s. 567-577
- artykuł: SAT-Based Reachability Checking for Timed Automata with Discrete Data (Zbrzezny A., Półrola A.), s. 579-593

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ć.