@misc{indiciaed92baf108ad8, title = {S+Net: extending functional coordination with extra-functional semantics}, author = {Raphael Poss and Merijn Verstraaten and Frank Penczek and Clemens Grelck and Raimund Kirner and Alex Shafarenko}, year = {2013}, url = {https://arxiv.org/abs/1306.2743}, note = {Source identifier: 1306.2743} }