Modelling actor programs using Predicate/Transition nets. - Patrick Coscas; Gilles Fouquier; Agnes Lanusse (PDP, 1995)