Concurrency CS&P 2011SPECIfication
and Programming
International Workshop,
28-30 September 2011, Pułtusk, Poland

PROCEEDINGS

Author Index

Author Title Pg.
A
Alkhalid, Abdulaziz 1
Amin, Talha 10
B
Bachmann, Jörg 17
Bashkin, Vladimir 29
Bellia, Marco 42
Best, Eike 385
Burkhard, Hans-Dieter 54
Burzańska, Marta 555
C
Chikalov, Igor 1

10
Czaja, Ludwik 66

79
D
De Angelis, Emanuele 85
Divroodi, Ali Rezaei 99
Drabik, Peter 111
Dvoryansky, Leonid V. 123
F
Fioravanti, Fabio 135
G
Garanina, Natalia 465
Gomolińska, Anna 149
Gomuła, Jerzy 397
Graff, Daniel 160
Grochowalski, Piotr 512
Gruska, Damas 169

182
H
Heiner, Monika 531
Heitmann, Frank Restricting Generalised State Machines
Liveness and Reachability for Elementary Object Systems
194

322
Henc, Mateusz 206
J
Jachyra, Daniel 397
Jahn, Luisa 54
Janowska, Agata 215
Janusz, Andrzej 229
Jaszuk, Marek 238
Jaśkiewicz, Grzegorz 250
Jones, Andrew 262

286
K
Kacprzak, Magdalena 274
Kain, Saskia 54
Knapik, Michał 286
Kosiński, Witold 274
Kozak, Michał 301
Krasuski, Adam 313
Kreński, Karol 313
Kudlek, Manfred 79
Köhler-Bußmeier, Michael 194

322
L
Leszczyński, Paweł 334
Lew, Łukasz 512
Lindemann – Von Trzebiatowski, Gabriela 454
Lomazova, Irina A. 29

123
Lomuscio, Alessio 262


286
Łazowy, Stanisław 313
M
Maggiolo-Schettini, Andrea 111
Meina, Michał 346
Mellmann, Heinrich 353


361
Meyer, Charlotte 54
Milazzo, Paolo 111
Moshkov, Mikhail 1

10

376
Muetterlein, Judith 54
Męski, Artur 363
N
Nachtwei, Jens 54
Nguyen, Linh Anh 99
Nguyen, Sinh Hoa 442
Niestroj, Nicolas 54
O
Occhiuto, Maria Eugenia 42
Oshevskaya, Elena 385
P
Pancerz, Krzysztof 397
Pelz, Elisabeth 416
Penczek, Wojciech 215

286

363

565
Pettorossi, Alberto 85

135
Polkowski, Lech 408
Popova-Zeugmann, Louchka 416
Porter-Sobieraj, Joanna 206
Proietti, Maurizio 85

135
Przytuła, Łukasz 420
Puzio, Leszek 238
Półrola, Agata 215
R
Redziejowski, Roman 430
Richling, Jan 160
Rougk, Sabine 54
Rzeszótko, Jarosław 442
S
Scheunemann, Marcus 353

361
Schmidt, Danilo 454
Schneider, Martin 54
Schwarick, Martin 531
Semeniuk-Polkowska, Maria 408
Senni, Valerio 135
Shilov, Nikolay 465
Skowron, Andrzej 477
Sosnowski, Łukasz 487
Stencel, Krzysztof 334

555
Stepaniuk, Jarosław 477
Strzałka, Dominik 499
Stupp, Tammo M. 160
Suraj, Zbigniew 512
Szostek, Grażyna 238
Szreter, Maciej 363
Ślęzak, Dominik 229

487
V
Virbitskaite, Irina 385
W
Walczak, Andrzej 238
Wasilewski, Piotr 523
Wegener, Jan-Thierry 531
Werner, Matthias 160
Wiśniewski, Piotr 555
Wolski, Marcin 149
Woźna-Szcześniak, Bożena 565
Y
Yatsenko, Olena 577
Z
Zbrzezny, Andrzej 215

565

589
Zielosko, Beata 10

376