A Formal Framework for Modelling at the Behavioural Level.

Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antnio L. Furtado

Browse the full EJC paper archive.