@unpublished{TUW-177711, author = {Hofer, Barbara}, title = {Expressing Semantics of Processes}, year = {2009}, note = {talk: MUSIL retreat, Springer Sch{\"o}ssl, Wien; 2009-09-28 -- 2009-09-30} }