External Links

    Journal: Fundamenta Informaticae

    Volume 109, Issue 3

    0 -- 0Ludwik Czaja. Preface
    223 -- 236Vladimir A. Bashkin, Irina A. Lomazova. Resource Driven Automata Nets
    237 -- 253Marco Bellia, M. Eugenia Occhiuto. Properties of Java Simple Closures
    255 -- 264Ludwik Czaja. On Deadlock and Fairness Decision Problems for Computations on Client-server Systems
    265 -- 279Anna Gomolinska. A Logic-Algebraic Approach to Graded Inclusion
    281 -- 295Damas P. Gruska. Gained and Excluded Private Actions by Process Observations
    297 -- 304Manfred Kudlek. A Relation between Modal Logic and Language Closure Operators
    305 -- 321Artur Meski, Wojciech Penczek, Agata Pólrola. BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets
    323 -- 337Roman R. Redziejowski. BITES Instead of FIRST for Parsing Expression Grammar
    339 -- 354Marcin S. Szczuka, Andrzej Skowron, Jaroslaw Stepaniuk. Function Approximation and Quality Measures in Rough-Granular Systems
    355 -- 368Marcin Wolski. Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages
    runs on