M. Schäfer

Avoiding irreducible CSC conflicts by internal communication

Walter Vogler, Mark Schäfer, Ralf Wollowski, 2008, 2008 8th International Conference on Application of Concurrency to System Design.

Combining Decomposition and Unfolding for STG Synthesis

Mark Schäfer, Victor Khomenko, V. Khomenko, 2007, ICATPN.

Determinate STG Decomposition of Marked Graphs

Walter Vogler, Petr Jancar, Mark Schäfer, 2005, ICATPN.

Component refinement and CSC-solving for STG decomposition

Walter Vogler, Mark Schäfer, W. Vogler, 2007, Theor. Comput. Sci..

STG Decomposition: Internal Communication for SI Implementability

Walter Vogler, Mark Schäfer, Ralf Wollowski, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

STG decomposition strategies in combination with unfolding

Walter Vogler, Mark Schäfer, Ralf Wollowski, 2009, Acta Informatica.

Output-Determinacy and Asynchronous Circuit Synthesis

Walter Vogler, Mark Schäfer, Victor Khomenko, 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).