Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering.

Peter Langendrfer, Hartmut Knig

Browse the full FORTE paper archive.