Pawel Paczkowski

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Pawel Paczkowski
Towards characterizing bisimilarity of value-passing processes with context-free control. Electron. Notes Theor. Comput. Sci. 18 (1998)
Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski
Specifying and Verifying Parametric Processes. MFCS (1996)
Pawel Paczkowski
Characterizing bisimilarity of value-passing parametrised processes. INFINITY (1996)
Pawel Paczkowski
Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs. MFCS (1993)
Pawel Paczkowski
Proving Termination of Communicating Programs. CONCUR (1990)