Andrew Paul Bass

• The transformational implementation of JSD process specifications via finite automata representation