output publications or other works 23RD INTERNATIONAL CONFERENCE ELECTRONICS 2019 (Congress Organization) Event Algebraic Formal Modelling for HTTP Main Methods Using ACP Conference Paper