Ivan Lanese: Concurrent and Located Synchronizations in <i>pi</i>-Calculus. SOFSEM (1) 2007: 388-399