Pawel Paczkowski

Lecturer at the Institute of Informatics at University of Gdansk

Research Interests

Concurrency and formal methods of software verification

Some papers

P. Paczkowski, Bisimulation assertions for normed value-passing BPA processes, Preprint No. 146, Institute of Mathematics UG, 2002.

P. Paczkowski, Towards characterizing bisimilarity of value-passing processes with context-free control, Electronic Notes in Theoretical Computer Science 18, 1998.

P. Paczkowski, Characterizing bisimilarity of value-passing parametrised processes, Electronic Notes in Theoretical Computer Science 5, 1997.

W. Pawlowski, P. Paczkowski and S. Sokolowski, Specifying and Verifying Parametric Processes, Proceedings of MFCS'96, (W. Penczek and A. Szalas, Eds.), LNCS 1113, 1996.

P. Paczkowski, Ignoring nonessential interleavings in assertional reasoning on concurrent programs, Proceedings of MFCS 93, (A. Borzyszkowski and S. Sokolowski, Eds.), LNCS 711, 1993.

P. Paczkowski, Annotated Transition Systems for Verifying Concurrent Programs, PhD Thesis, CST-78-91, University of Edinburgh, 1991.

P. Paczkowski, Proving termination of communicating programs, Proceedings of CONCUR '90 (J.C.M. Baeten, J.W. Klop, Eds.), 416-426, LNCS 458, 1990.

How to reach me

Email: matpmp@univ.gda.pl
Tel.: +48 58 5232507
Fax.: +48 58 3414914
Postal address: Institute of Informatics, University of Gdansk, ul. Wita Stwosza 57, 80-952 Gdansk, Poland.
Office: 112

Back to main pages: Institute of Informatics , University of Gdansk .