Proving Termination of Communicating Programs. - Pawel Paczkowski (CONCUR, 1990)

Annotated transition systems for verifying concurrent programs. - Pawel Paczkowski (1990)

Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs. - Pawel Paczkowski (MFCS, 1993)

Specifying and Verifying Parametric Processes. - Wieslaw Pawlowski; Pawel Paczkowski; Stefan Sokolowski (MFCS, 1996)

Characterizing bisimilarity of value-passing parametrised processes. - Pawel Paczkowski (INFINITY, 1996)

Towards characterizing bisimilarity of value-passing processes with context-free control. - Pawel Paczkowski (MFCS Workshop on Concurrency, 1998)