21. CS&P 2012: Berlin, Germany
Louchka Popova-Zeugmann (Ed.): Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 928
Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko: Relationships Between Length and Coverage of Exact Decision Rules. 1-12
Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko: Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions. 13-24
Vladimir A. Bashkin: One-counter Circuits. 25-36
Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski: A Class of Hypernets with Token Creation and Decidable Reachability Problem. 37-48
Marco Bellia, M. Eugenia Occhiuto: Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. 49-60
Ludwik Czaja: Equations for Asynchronous Message Passing. 61-72
Marta Czyzewska, Jaroslaw Szkola, Krzysztof Pancerz: Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship. 73-78
Robert Dabrowski, Krzysztof Stencel, Grzegorz Timoszuk: One Graph to Rule Them All - Software Measurment and Management. 79-90

Adam Grabowski: Computer-Driven Searching for Axiomatization of Rough Sets. 115-122
Damas P. Gruska: Information Flow and Concurrent Imperative Languages. 123-134
Damas P. Gruska: Test Based Security. 135-146
Mostafa Herajy, Monika Heiner: Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks. 147-159
Igor Chikalov, Shahid Hussain, Mikhail Moshkov: Average Depth and Number of Misclassifications for Decision Trees. 160-169
Grzegorz Jaskiewicz: Prolog-Based Reasoning Layer for Counter-Strike Agents. 170-181
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech: A New Effective Approach for Modelling and Verification of Security Protocols. 191-202
Michael Köhler-Bußmeier: On the Complexity of Safe, Elementary Hornets. 203-214
Michael Köhler-Bußmeier: Negotiating Inter-Organisational Processes. 215-226


Matthias Niemann, Danilo Schmidt, Gabriela Lindemann von Trzebiatowski, Carl Hinrichs: First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain. 261-268
Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchol: Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals. 269-279
Krzysztof Pancerz, Wieslaw Paja, Mariusz Wrzesien, Jan Warchol: Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach. 280-291
James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk: Nearness of Objects. Approximation Space Model Revisited. 292-302
Lukasz Pulawski: Automatic Forecasting of Design Anti-patterns in Software Source Code. 312-323
Roman R. Redziejowski: From EBNF to PEG. 324-335
Martin C. Schneider, Hans-Dieter Burkhard: Creating driving behavior for artificial agents in a social augmented micro-world. 336-342
Martin Schwarick: Symbolic Model Checking of Stochastic Reward Nets. 343-357
Andrzej Skowron, Andrzej Jankowski, Piotr Wasilewski: Interactive Computational Systems: Rough Granular Approach. 358-369
Zbigniew Suraj: Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems. 370-381

Marcin Wolski, Anna Gomolinska: Elements of Representation Theory for Pawlak Information Systems. 404-415
Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska: Rules for Formal and Natural Dialogues in Agent Communication. 416-427
Olena Yatsenko: On Parameter-Driven Generation of Algorithm Schemes. 428-438



