M. Banach, K. Kubiak, and R. Dlugosz. FedCSIS (Communication Papers), volume 20 of Annals of Computer Science and Information Systems, page 67-72. (2019)
R. Dlugosz, M. Banach, and K. Kubiak. FedCSIS (Communication Papers), volume 20 of Annals of Computer Science and Information Systems, page 73-79. (2019)
R. Banach, F. Arbab, G. Papadopoulos, and J. Glauert. Formal Methods and Component Interaction @ ICALP, volume 66 of Electronic Notes in Theoretical Computer Science, page 1-15. Elsevier, (2002)