Actyx has expertise in reactive programming and has greatly contributed to the development of AKKA. In BEHAPI, Actyx collaborates with University of Malta, NOVA and University of Buenos Aires in the development of monitoring approaches for actor systems (WP3) and synthesis techniques for actor systems (WP4).