| Vol-928 urn:nbn:de:0074-928-1 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# CS&P 2012
Concurrency, Specification and Programming

### Proceedings of the 21th International Workshop on Concurrency, Specification and Programming

### Berlin, Germany, September 26-28, 2012.

Edited by

### Louchka Popova-Zeugmann

Humboldt University of Berlin, Department of Informatics, Unter den Linden 6, 10099 Berlin, Germany

## Table of Contents

- Front Matter (Volume 1)
- Preface
- Program Committee
- Reviewers

1. Relationships Between Length and Coverage of Exact Decision Rules 1-12
   Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
2. Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions 13-24
   Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
3. One-counter Circuits 25-36
   Vladimir A. Bashkin
4. A Class of Hypernets with Token Creation and Decidable Reachability Problem 37-48
   Marek A. Bednarczyk, Piotr Jóźwiak, Wiesław Pawłowski
5. Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 49-60
   Marco Bellia, M. Eugenia Occhiuto
6. Equations for Asynchronous Message Passing 61-72
   Ludwik Czaja
7. Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship 73-78
   Marta Czyżewska, Jarosław Szkoła, Krzysztof Pancerz
8. One Graph to Rule Them All - Software Measurment and Management 79-90
   Robert Dąbrowski, Krzysztof Stencel, Grzegorz Timoszuk
9. Properties of Languages with Catenation and Shuffle 91-102
   Nils Erik Flick, Manfred Kudlek
10. A Hierarchy of Languages with Catenation and Shuffle 103-114
    Nils Erik Flick, Manfred Kudlek
11. Computer-Driven Searching for Axiomatization of Rough Sets 115-122
    Adam Grabowski
12. Information Flow and Concurrent Imperative Languages 123-134
    Damas P. Gruska
13. Test Based Security 135-146
    Damas P. Gruska
14. Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks 147-159
    Mostafa Herajy, Monika Heiner
15. Average Depth and Number of Misclassifications for Decision Trees 160-169
    Igor Chikalov, Shahid Hussain, Mikhail Moshkov
16. Prolog-Based Reasoning Layer for Counter-Strike Agents 170-181
    Grzegorz Jaśkiewicz
17. Knowledge Driven Query Sharding 182-190
    Adam Krasuski, Marcin Szczuka
18. A New Effective Approach for Modelling and Verification of Security Protocols 191-202
    Olga Siedlecka-Lamch, Mirosław Kurkowski, Henryk Piech
19. On the Complexity of Safe, Elementary Hornets 203-214
    Michael Köhler-Bußmeier

- Front Matter (Volume 2)

1. Negotiating Inter-Organisational Processes 215-226
   Michael Köhler-Bußmeier
2. Clock Transition Systems 227-238
   Didier Lime, Olivier H. Roux, Claude Jard
3. Analyzing Web Service Resource Compatibility 239-250
   Irina A. Lomasova, Ivan V. Romanov
4. Rough Set Methods and Submodular Functions 251-260
   Hung Son Nguyen, Wojciech Świeboda
5. First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain 261-268
   Matthias Niemann, Danilo Schmidt, Gabriela Lindemann - von Trzebiatowski, Carl Hinrichs
6. Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals 269-279
   Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchoł
7. Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach 280-291
   Krzysztof Pancerz, Wiesław Paja, Mariusz Wrzesień, Jan Warchoł
8. Nearness of Objects. Approximation Space Model Revisited 292-302
   James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk
9. On a Notion of Extensionality for Artifacts 303-311
   Lech Polkowski, Maria Semeniuk-Polkowska
10. Automatic Forecasting of Design Anti-patterns in Software Source Code 312-323
    Łukasz Puławski
11. From EBNF to PEG 324-335
    Roman R. Redziejowski
12. Creating driving behavior for artificial agents in a social augmented micro-world 336-342
    Martin C. Schneider, Hans-Dieter Burkhard
13. Symbolic Model Checking of Stochastic Reward Nets 343-357
    Martin Schwarick
14. Interactive Computational Systems: Rough Granular Approach 358-369
    Andrzej Skowron, Andrzej Jankowski, Piotr Wasilewski
15. Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems 370-381
    Zbigniew Suraj
16. On Minimality and Equivalence of Petri Nets 382-393
    Annegret K. Wagler, Jan-Thierry Wegener
17. Universal Query Language 394-403
    Piotr Wiśniewski, Krzysztof Stencel
18. Elements of Representation Theory for Pawlak Information Systems 404-415
    Marcin Wolski, Anna Gomolińska
19. Rules for Formal and Natural Dialogues in Agent Communication 416-427
    Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska
20. On Parameter-Driven Generation of Algorithm Schemes 428-438
    Olena Yatsenko

- Author Index

26-Oct-2012: submitted by Louchka Popova-Zeugmann
26-Oct-2012: published on CEUR-WS.org