I am currently working on the work on a given calculus named the Mailbox Calculus, and have been trying to find a somewhat type of correspondence between constructs in this Mailbox Calculus and Elixir. What do you think would be the most appropriate constructs to use please. Below please find the link to the paper in which the Mailbox Calculus can be found.
