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,
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.
Teaching
materialy dla studentow
How to reach me
- Email: pmp@inf.ug.edu.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 .