- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 5 |      | Pawel Paczkowski: Towards characterizing bisimilarity of value-passing processes with context-free control. Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1996 | ||
| 4 | | Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski: Specifying and Verifying Parametric Processes. MFCS 1996: 469-481 |
| 3 | | Pawel Paczkowski: Characterizing bisimilarity of value-passing parametrised processes. Electr. Notes Theor. Comput. Sci. 5: (1996) |
| 1993 | ||
| 2 | | Pawel Paczkowski: Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs. MFCS 1993: 598-607 |
| 1990 | ||
| 1 | | Pawel Paczkowski: Proving Termination of Communicating Programs. CONCUR 1990: 416-426 |
| 1 | Wieslaw Pawlowski | [4] |
| 2 | Stefan Sokolowski | [4] |