Agent Environment and Knowledge in Distributed Join Calculus. - Slawomir P. Maludzinski; Grzegorz Dobrowolski (CEEMAS, 2007)

Software Configuration Management for Multiple Releases: Influence on Development Effort. - Slawomir P. Maludzinski (Comput. Sci., 2007)

Model checking processes specified in join-calculus algebra. - Slawomir P. Maludzinski; Grzegorz Dobrowolski (Comput. Sci., 2014)