| |
| 1998 | ||
|---|---|---|
| 5 | EE | 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 | EE | 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] |