Interpreting message ow graphs (1995)

by P B Ladkin, S Leue
Venue:Formal Aspects of Computing