Pawel Paczkowski

According to our database, Pawel Paczkowski authored at least 6 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Towards characterizing bisimilarity of value-passing processes with context-free control.

Pawel Paczkowski

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1996

Characterizing bisimilarity of value-passing parametrised processes.

Pawel Paczkowski

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Specifying and Verifying Parametric Processes.

Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1993

Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs.

Pawel Paczkowski

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1990

Annotated transition systems for verifying concurrent programs.

Pawel Paczkowski

PhD thesis, 1990

Proving Termination of Communicating Programs.

Pawel Paczkowski

Proceedings of the CONCUR '90, 1990