TY - RPRT TI - S+Net: extending functional coordination with extra-functional semantics AU - Raphael Poss AU - Merijn Verstraaten AU - Frank Penczek AU - Clemens Grelck AU - Raimund Kirner AU - Alex Shafarenko PY - 2013 UR - https://arxiv.org/abs/1306.2743 ID - 1306.2743 ER -