Implementing Services by Partial State Machines.

Walter Dosch, Annette Stmpel

Browse the full SOFSEM paper archive.