[CEUR Workshop Proceedings] Vol-928

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

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

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