Fundamenta Informaticae - Tom Vol. 86, nr 3 (2008) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 86, nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2008

Identyfikatory

Zawartość wolumenu

Vol. 86, nr 3
- artykuł: On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs (Esparza J., Jančar P., Miller A.), s. 227-253
- artykuł: Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity (Juhás G., Lorenz R., Mauser S.), s. 255-298
- artykuł: Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings (Khomenko V., Madalinski A., Yakovlev A.), s. 299-323
- artykuł: Schedulability Analysis of Petri Nets Based on Structural Properties (Liu C., Kondratyev A., Watanabe Y., Desel J., Sangiovanni-Vincentelli A.), s. 325-341
- artykuł: Modeling Communication with Synchronized Environments (Seceleanu T., Jantsch A.), s. 343-369

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