@techreport{poss13spnet,
	Abstract = {This technical report introduces S+Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional semantics allow the application designer to reason about and control resource usage, performance and fault handling. The key feature of S+Net is that functional and extra-functional semantics are defined orthogonally from each other. S+Net can be seen as a simultaneous simplification and extension of the existing coordination language S-Net, that gives control of extra-functional behavior to the S-Net programmer. S+Net can also be seen as a transitional research step between S-Net and AstraKahn, another coordination language currently being designed at the University of Hertfordshire. In contrast with AstraKahn which constitutes a re-design from the ground up, S+Net preserves the basic operational semantics of S-Net and thus provides an incremental introduction of extra-functional control in an existing language.},
	Author = {Raphael Poss and Merijn Verstraaten and Frank Penczek and Clemens Grelck and Raimund Kirner and Alex Shafarenko},


	Institution = {University of Amsterdam and University of Hertfordshire},
	Month = {June},
	Number = {arXiv:1306.2743v1 [cs.PL]},
	Read = {1},
	Title = {{S+Net}: extending functional coordination with extra-functional semantics},
	Url = {http://arxiv.org/abs/1306.2743},
	Urllocal = {pub/poss.13.spnet.pdf},
	Year = {2013},
	}

{"_id":{"_str":"5342bd570e946d920a0034f8"},"__v":1,"authorIDs":["54c2dea9b5fb1e5511000919","5dfafc26fa2bbbde01000122","5e35eb445cd57fde01000070","5e38ff13dc5b8ade01000077","5e64a5962551dede01000063","ZGRaLkjmxPcmJ739z","efnDKftzuGYiXXauW","pgjx6rQxQDmzHuwRK","sCob7zjTXbp95CmbP"],"author_short":["Poss, R.","Verstraaten, M.","Penczek, F.","Grelck, C.","Kirner, R.","Shafarenko, A."],"bibbaseid":"poss-verstraaten-penczek-grelck-kirner-shafarenko-snetextendingfunctionalcoordinationwithextrafunctionalsemantics-2013","bibdata":{"bibtype":"techreport","type":"techreport","abstract":"This technical report introduces S+Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional semantics allow the application designer to reason about and control resource usage, performance and fault handling. The key feature of S+Net is that functional and extra-functional semantics are defined orthogonally from each other. S+Net can be seen as a simultaneous simplification and extension of the existing coordination language S-Net, that gives control of extra-functional behavior to the S-Net programmer. S+Net can also be seen as a transitional research step between S-Net and AstraKahn, another coordination language currently being designed at the University of Hertfordshire. In contrast with AstraKahn which constitutes a re-design from the ground up, S+Net preserves the basic operational semantics of S-Net and thus provides an incremental introduction of extra-functional control in an existing language.","author":[{"firstnames":["Raphael"],"propositions":[],"lastnames":["Poss"],"suffixes":[]},{"firstnames":["Merijn"],"propositions":[],"lastnames":["Verstraaten"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Penczek"],"suffixes":[]},{"firstnames":["Clemens"],"propositions":[],"lastnames":["Grelck"],"suffixes":[]},{"firstnames":["Raimund"],"propositions":[],"lastnames":["Kirner"],"suffixes":[]},{"firstnames":["Alex"],"propositions":[],"lastnames":["Shafarenko"],"suffixes":[]}],"institution":"University of Amsterdam and University of Hertfordshire","month":"June","number":"arXiv:1306.2743v1 [cs.PL]","read":"1","title":"S+Net: extending functional coordination with extra-functional semantics","url":"http://arxiv.org/abs/1306.2743","urllocal":"pub/poss.13.spnet.pdf","year":"2013","bibtex":"@techreport{poss13spnet,\n\tAbstract = {This technical report introduces S+Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional semantics allow the application designer to reason about and control resource usage, performance and fault handling. The key feature of S+Net is that functional and extra-functional semantics are defined orthogonally from each other. S+Net can be seen as a simultaneous simplification and extension of the existing coordination language S-Net, that gives control of extra-functional behavior to the S-Net programmer. S+Net can also be seen as a transitional research step between S-Net and AstraKahn, another coordination language currently being designed at the University of Hertfordshire. In contrast with AstraKahn which constitutes a re-design from the ground up, S+Net preserves the basic operational semantics of S-Net and thus provides an incremental introduction of extra-functional control in an existing language.},\n\tAuthor = {Raphael Poss and Merijn Verstraaten and Frank Penczek and Clemens Grelck and Raimund Kirner and Alex Shafarenko},\n\n\n\tInstitution = {University of Amsterdam and University of Hertfordshire},\n\tMonth = {June},\n\tNumber = {arXiv:1306.2743v1 [cs.PL]},\n\tRead = {1},\n\tTitle = {{S+Net}: extending functional coordination with extra-functional semantics},\n\tUrl = {http://arxiv.org/abs/1306.2743},\n\tUrllocal = {pub/poss.13.spnet.pdf},\n\tYear = {2013},\n\t}\n\n","author_short":["Poss, R.","Verstraaten, M.","Penczek, F.","Grelck, C.","Kirner, R.","Shafarenko, A."],"key":"poss13spnet","id":"poss13spnet","bibbaseid":"poss-verstraaten-penczek-grelck-kirner-shafarenko-snetextendingfunctionalcoordinationwithextrafunctionalsemantics-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1306.2743","Local":"science.raphael.poss.name/pub/poss.13.spnet.pdf"},"metadata":{"authorlinks":{"poss, r":"https://bibbase.org/show?bib=https%3A%2F%2Fscience.raphael.poss.name%2Fpub.bib"}},"downloads":1,"html":""},"bibtype":"techreport","biburl":"science.raphael.poss.name/pub.bib","downloads":1,"keywords":[],"search_terms":["net","extending","functional","coordination","extra","functional","semantics","poss","verstraaten","penczek","grelck","kirner","shafarenko"],"title":"S+Net: extending functional coordination with extra-functional semantics","year":2013,"dataSources":["75cdFjzQkYc9cKbYS","nMjrEFThibKqpZt4n","ob9Lo6tki9nBzzxK9"]}