default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 60
Volume 60, Number 1-4, 2004
- Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj:
Preface. - Antoni W. Mazurkiewicz:
Bilateral Ranking Negotiations. 1-16 - Peter D. Mosses:
Exploiting Labels in Structural Operational Semantics. 17-31 - Zdzislaw Pawlak:
Decision Rules and Dependencies. 33-39 - Stanislaw Ambroszkiewicz:
Entish: A Language for Describing Data Processing in Open Distributed Systems. 41-66 - Roberto Barbuti, Stefano Cataudella, Luca Tesei:
Abstract Interpretation Against Races. 67-79 - Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri:
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. 81-98 - Anatoly E. Doroshenko, Georgy Tseitlin:
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs. 99-111 - Berndt Farwer, Michael Köhler:
Mobile Object-Net Systems and their Processes. 113-129 - Berndt Farwer, Manfred Kudlek:
A New Synchronisation Model for Multi-Level Object Petri Nets. 131-142 - Barbara Fryc, Krzysztof Pancerz, James F. Peters, Zbigniew Suraj:
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets. 143-157 - Anna Gomolinska:
A Graded Meaning of Formulas in Approximation Spaces. 159-172 - Martin Heckel, Jaroslav Zendulka:
Data Mining and Its Use in Texture Analysis. 173-186 - Agata Janowska, Pawel Janowski:
Slicing Timed Systems. 187-210 - Beata Konikowska, Wojciech Penczek:
On Designated Values in Multi-valued CTL* Model Checking. 211-224 - Irina A. Lomazova:
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. 225-235 - Edward Ochmanski:
Best Fairness Hierarchy in Elementary Nets. 237-250 - Krzysztof Pancerz, Zbigniew Suraj:
Discovering Concurrent Models from Data Tables with the ROSECON System. 251-268 - Michal Polak, Pawel Majdzik, Zbigniew Antoni Banaszak, Robert Wójcik:
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes. 269-289 - Lech Polkowski, Maria Semeniuk-Polkowska:
Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework. 291-305 - Agata Pólrola, Wojciech Penczek:
Minimization Algorithms for Time Petri Nets. 307-331 - Roman R. Redziejowski:
On Associative Omega-Products. 333-350 - Andrzej Skowron, Piotr Synak:
Complex Patterns. 351-366 - Simone Tini, Andrea Maggiolo-Schettini:
Compositional Synthesis of Generalized Mealy Machines. 367-382 - Irina B. Virbitskaite, Natalya S. Gribovskaja:
Open Maps and Observational Equivalences for Timed Partial Order Models. 383-399 - Marcin Wolski:
Galois Connections and Data Analysis. 401-415 - Andrzej Zbrzezny:
Improvements in SAT-based Reachability Analysis for Timed Automata. 417-434
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
