Technical Reports

Clemens Grelck, Alex Shafarenko:
S-Net Language Report

• S-Net Language Report 2.0 April 02, 2010
• S-Net Language Report 1.0 June 15, 2009
• S-Net Language Report (draft) 0.7 June 03, 2008
• S-Net Language Report (draft) 0.6 December 17, 2007
• S-Net Language Report (draft) 0.5 June 27, 2007
• S-Net Language Report (draft) 0.4 November 28, 2006
• S-Net Language Report (draft) 0.3 October 18, 2006
  
• S-Net Language Report (draft) 0.2 August 25, 2006
  
• S-Net Language Report (draft) 0.1 June 13, 2006

Clemens Grelck, Frank Penczek:
S-Net Implementation Report
(Part I: Compilation, Code Generation and Deployment)

• S-Net Implementation Report (draft) 0.4 December 17, 2007
• S-Net Implementation Report (draft) 0.3 December 8, 2006

Research Papers

2010

• [1] F. Penczek, S. Herhut, C. Grelck, S. Scholz, A. Shafarenko, R. Barrere, and E. Lenormand, Parallel signal processing with S-Net, Procedia Computer Science, vol. 1, iss. 1, pp. 2079-2088, 2010. bibtex
  @article{ PenHerGre+ICCS10, title = "Parallel signal processing with S-Net", journal = "Procedia Computer Science", volume = "1", number = "1", pages = "2079 - 2088", year = "2010", note = "ICCS 2010", issn = "1877-0509", doi = "DOI: 10.1016/j.procs.2010.04.233", url = "http://www.sciencedirect.com/science/article/B9865-506HM1Y-88/2/87fcf1cee7899f0eeaadc90bd0d56cd3",
  author = "Frank Penczek and Stephan Herhut and Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko and Remi Barrere and Eric Lenormand", keywords = "Parallel programming models", keywords = "Component models", keywords = "Signal processing", keywords = "Stream processing" }
• [2] C. Grelck, J. Julku, and F. Penczek, S-Net for Multi-Memory Multicores, in 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Madrid, Spain, 2010, 2010, pp. 25-34. bibtex
  @INPROCEEDINGS{ GrelJulkPencDAMP10,
  author = {Clemens Grelck and Jukka Julku and Frank Penczek},
  TITLE = {{S-Net for Multi-Memory Multicores}},
  EDITOR = {Leaf Peterson and Enrico Pontelli},
  BOOKTITLE = {5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Madrid, Spain, 2010},
  PUBLISHER = {ACM Press, New York City, New York, USA},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2010, PAGES = {25--34},
  ISBN = {978-1-60558-859-9},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [3] F. Penczek, S. A. Herhut, S. B. Scholz, A. Shafarenko, J. Yang, C. Y. Chen, N. Bagherzadeh, and C. Grelck, Message Driven Programming with S-Net: Methodology and Performance, in 3rd International Workshop on Programming Models and Systems Software for High-End Computing (P2S2’10), San Diego, USA, 2010. bibtex
  @INPROCEEDINGS{ PencSchoShaf+P2S210,
  author = {F. Penczek and S.A. Herhut and S.B. Scholz and A. Shafarenko and J. Yang and C.Y. Chen and N. Bagherzadeh and C. Grelck},
  TITLE = {Message Driven Programming with S-Net: Methodology and Performance},
  EDITOR = {},
  BOOKTITLE = {3rd International Workshop on Programming Models and Systems Software for High-End Computing (P2S2'10), San Diego, USA},
  PUBLISHER = {},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2010, PAGES = {},
  NOTE = {to appear},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [4] C. Grelck, S. Scholz, and A. Shafarenko, Asynchronous Stream Processing with S-Net, International Journal of Parallel Programming, vol. 38, iss. 1, pp. 38-67, 2010. bibtex
  @ARTICLE{ GrelSchoShafIJPP10,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{Asynchronous Stream Processing with S-Net}},
  JOURNAL = {International Journal of Parallel Programming},
  YEAR = 2010, VOLUME = {38},
  NUMBER = {1},
  PAGES = {38--67},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  DOI = {10.1007/s10766-009-0121-x},
  TOPICS = {SNet}
}
• [5] C. Grelck, (. A. Shafarenko, F. Penczek, C. Grelck, H. Cai, J. Julku, P. Hölzenspies, S. B. . Scholz, and A. Shafarenko, S-Net Language Report 2.0, University of Hertfordshire, School of Computer Science, Hatfield, England, United Kingdom, Technical Report 499, 2010. bibtex
  @TECHREPORT{ GrelShafCTCA10,
  author = {C. Grelck and {Shafarenko, A. (eds):} and F. Penczek and C. Grelck and H. Cai and J. Julku and P. H\"olzenspies and {Scholz, S.B.} and A. Shafarenko},
  TITLE = {{S-Net Language Report 2.0}},
  INSTITUTION = {University of Hertfordshire, School of Computer Science},
  ADDRESS = {Hatfield, England, United Kingdom},
  TYPE = {Technical Report},
  NUMBER = {499},
  YEAR = 2010, NOTE = {},
  CONTENTS = {},
  sourceURL = {http://www.snet-home.org/?page_id=7},
  TOPICS = {SNet}
}
• [6] C. Grelck, J. Julku, and F. Penczek, Distributed S-Net: High-Level Message Passing without the Hassle, in 1st ACM SIGPLAN Workshop on Advances in Message Passing (AMP’10), Toronto, Canada, 2010, 2010. bibtex
  @INPROCEEDINGS{ GrelJulkPencAMP10,
  author = {Clemens Grelck and Jukka Julku and Frank Penczek},
  TITLE = {{Distributed S-Net: High-Level Message Passing without the Hassle}},
  EDITOR = {Greg Bronevetsky and Chen Ding and Sven-Bodo Scholz and Michelle Strout},
  BOOKTITLE = {1st ACM SIGPLAN Workshop on Advances in Message Passing (AMP'10), Toronto, Canada, 2010},
  PUBLISHER = {ACM Press, New York City, New York, USA},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2010, PAGES = {},
  ISBN = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [7] F. Penczek, C. Grelck, and S. Scholz, An Operational Semantics for S-Net, , Chapman, B., Desprez, F., Joubert, G., Lichnewsky, A., Peters, F., and Priol, T., Eds., IOS Press, 2010, vol. 19, pp. 467-474. bibtex
  @INCOLLECTION{ PencGrelSchoAIPC10,
  author = {Frank Penczek and Clemens Grelck and Sven-Bodo Scholz},
  TITLE = {{An Operational Semantics for S-Net}},
  EDITOR = {Barbara Chapman and Fr\'ed\'eric Desprez and Gerhard Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol},
  BOOKTITLE = {Parallel Computing: From Multicores and GPU's to Petascale},
  PUBLISHER = {IOS Press},
  SERIES = {Advances in Parallel Computing},
  VOLUME = {19},
  NUMBER = {},
  YEAR = 2010, PAGES = {467-474},
  ISBN = {978-1-60750-529-7},
  DOI = {http://dx.doi.org/10.3233/978-1-60750-530-3-467},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}

2009

• [8] C. Grelck and F. Penczek, Implementation Architecture and Multithreaded Runtime System of S-Net, in Implementation and Application of Functional Languages, 20th International Symposium, IFL’08, Hatfield, United Kingdom, Revised Selected Papers, 2009. bibtex
  @INPROCEEDINGS{ GrelPencIFL08,
  author = {C. Grelck and F. Penczek},
  TITLE = {{Implementation Architecture and Multithreaded Runtime System of S-Net}},
  EDITOR = {S.B. Scholz and O. Chitil},
  BOOKTITLE = {Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, United Kingdom, Revised Selected Papers},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2009, PAGES = {},
  NOTE = {to appear},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [9] C. Grelck, (. A. Shafarenko, F. Penczek, C. Grelck, H. Cai, J. Julku, P. Hölzenspies, S. B. . Scholz, and A. Shafarenko, S-Net Language Report 1.0, University of Hertfordshire, School of Computer Science, Hatfield, England, United Kingdom, Technical Report 487, 2009. bibtex
  @TECHREPORT{ GrelShafCTCA09,
  author = {C. Grelck and {Shafarenko, A. (eds):} and F. Penczek and C. Grelck and H. Cai and J. Julku and P. H\"olzenspies and {Scholz, S.B.} and A. Shafarenko},
  TITLE = {{S-Net Language Report 1.0}},
  INSTITUTION = {University of Hertfordshire, School of Computer Science},
  ADDRESS = {Hatfield, England, United Kingdom},
  TYPE = {Technical Report},
  NUMBER = {487},
  YEAR = 2009, NOTE = {},
  CONTENTS = {},
  sourceURL = {http://www.snet-home.org/?page_id=7},
  TOPICS = {SNet}
}
• [10] A. Shafarenko, Nondeterministic Coordination using S-Net, , Gentzsch, W., Grandinetti, L., and Joubert, G., Eds., IOS Press, 2009, vol. 18, pp. 74-96. bibtex
  @incollection{ShafAIPC09,
  author = {Alex Shafarenko},
  title = {Nondeterministic Coordination using S-Net},
  SERIES = {Advances in Parallel Computing},
  VOLUME = {18},
  NUMBER = {},
  pages = {74-96},
  booktitle = {High Speed and Large Scale Scientific Computing},
  publisher = {IOS Press},
  year = {2009},
  ISBN = {978-1-60750-073-5},
  editor = {Wolfgang Gentzsch and Lucio Grandinetti and Gerhard Joubert},
  }
• [11] C. Grelck, J. Julku, and F. Penczek, Distributed S-Net, in Implementation and Application of Functional Languages, 21st International Symposium, IFL’09, South Orange, NJ, USA, 2009. bibtex
  @INPROCEEDINGS{ GrelJulkPencIFL09,
  author = {Clemens Grelck and Jukka Julku and Frank Penczek},
  TITLE = {{Distributed S-Net}},
  EDITOR = {M. Morazan},
  BOOKTITLE = {Implementation and Application of Functional Languages, 21st International Symposium, IFL'09, South Orange, NJ, USA},
  PUBLISHER = {Seton Hall University},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2009, PAGES = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [12] C. Grelck, S. Scholz, and A. Shafarenko, Concurrency Engineering with S-Net, in Programming Languages and Foundations of Programming, 15th Workshop (KPS’09), Maria Taferl, Austria, 2009, pp. 78-92. bibtex
  @INPROCEEDINGS{ GrelSchoShafKPS09,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{Concurrency Engineering with S-Net}},
  EDITOR = {Jens Knoop, Adrian Prantl},
  BOOKTITLE = {Programming Languages and Foundations of Programming, 15th Workshop (KPS'09), Maria Taferl, Austria},
  PUBLISHER = {Institute of Computer Languages, Vienna University of Technology},
  SERIES = {Technical Report},
  VOLUME = {2009-X-1},
  NUMBER = {},
  YEAR = 2009, PAGES = {78--92},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [13] C. Grelck, S. Scholz, and A. Shafarenko, Concurrency Engineering with S-Net, in Programmiersprachen und Grundlagen der Programmierung, 15.~Kolloquium (KPS’09), Maria Taferl, Österreich, 2009, pp. 78-92. bibtex
  @INPROCEEDINGS{ GrelJulkPencIFL09d,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{Concurrency Engineering with S-Net}},
  EDITOR = {Jens Knoop, Adrian Prantl},
  BOOKTITLE = {Programmiersprachen und Grundlagen der Programmierung, 15.~Kolloquium (KPS'09), Maria Taferl, \"Osterreich},
  PUBLISHER = {Institut f\"ur Computersprachen, Technische Universit\"at Wien},
  SERIES = {Technischer Bericht},
  VOLUME = {2009-X-1},
  NUMBER = {},
  YEAR = 2009, PAGES = {78--92},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}

2008

• [14] K. Bousias, C. R. Jesshope, J. Thiyagalingam, S-B. Scholz, and A. Shafarenko, Graph Walker: Implementing S-Net on the Self-adaptive Virtual Processor, in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’08), Lugano, Switzerland, 2008. bibtex
  @INPROCEEDINGS{ BousJessThiy+AMWAS08,
  author = {K. Bousias and C.R. Jesshope and J. Thiyagalingam and S-B. Scholz and A. Shafarenko},
  TITLE = {{Graph Walker: Implementing S-Net on the Self-adaptive Virtual Processor}},
  EDITOR = {},
  BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland},
  PUBLISHER = {},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2008, PAGES = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [15] H. Cai, S. Eisenbach, C. Grelck, F. Penczek, S. Scholz, and A. Shafarenko, S-Net Type System and Operational Semantics, in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’08), Lugano, Switzerland, 2008. bibtex
  @INPROCEEDINGS{ CaiEiseGrel+AMWAS08,
  author = {Haoxan Cai and Susan Eisenbach and Clemens Grelck and Frank Penczek and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{S-Net Type System and Operational Semantics}},
  EDITOR = {},
  BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland},
  PUBLISHER = {},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2008, PAGES = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [16] C. Grelck, S. Scholz, and A. Shafarenko, A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components, Parallel Processing Letters, vol. 18, iss. 2, pp. 221-237, 2008. bibtex
  @ARTICLE{ GrelSchoShafPPL08,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components}},
  JOURNAL = {Parallel Processing Letters},
  YEAR = 2008, VOLUME = {18},
  NUMBER = {2},
  PAGES = {221--237},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [17] F. Penczek, S. Scholz, and C. Grelck, Towards Reconfiguration and Self-Adaptivity in S-Net, in Implementation and Application of Functional Languages, 20th International Symposium, IFL’08, Hatfield, Hertfordshire, UK, 2008, pp. 330-339. bibtex
  @INPROCEEDINGS{ PencSchoGrelIFL08draft,
  author = {Frank Penczek and Sven-Bodo Scholz and Clemens Grelck},
  TITLE = {{Towards Reconfiguration and Self-Adaptivity in S-Net}},
  EDITOR = {Sven-Bodo Scholz},
  BOOKTITLE = {Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, Hertfordshire, UK},
  PUBLISHER = {University of Hertfordshire, UK},
  SERIES = {Technical Report 474},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2008, PAGES = {330--339},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [18] J. Thiyagalingam, P. Hölzenspies, S. Scholz, and A. Shafarenko, A Stream-Order Relaxed Execution Model forAsynchronous Stream Languages, in Implementation and Application of Functional Languages, 20th international symposium, IFL’08, Hatfield, Hertfordshire, UK, 2008, pp. 316-329. bibtex
  @INPROCEEDINGS{ ThiyHoelScho+IFL08draft,
  author = {Jeyarajan Thiyagalingam and Philip H\"olzenspies and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{A Stream-Order Relaxed Execution Model forAsynchronous Stream Languages}},
  EDITOR = {Sven-Bodo Scholz},
  BOOKTITLE = {Implementation and Application of Functional Languages, 20th international symposium, IFL'08, Hatfield, Hertfordshire, UK},
  PUBLISHER = {University of Hertfordshire, England, UK},
  SERIES = {Technical Report 474},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2008, PAGES = {316--329},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}

2007

• [19] A. Shafarenko, S. Scholz, and C. Grelck, Streaming Networks for Coordinating Data-Parallel Programs, in Perspectives of System Informatics, 6th International Andrei Ershov Memorial Conference (PSI’06), Novosibirsk, Russia, 2007, pp. 441-445. bibtex
  @INPROCEEDINGS{ GrelSchoShafPSI06,
  author = {Alex Shafarenko and Sven-Bodo Scholz and Clemens Grelck},
  TITLE = {Streaming Networks for Coordinating Data-Parallel Programs},
  EDITOR = {Irina Virbitskaite and Andrei Voronkov},
  BOOKTITLE = {Perspectives of System Informatics, 6th International Andrei Ershov Memorial Conference (PSI'06), Novosibirsk, Russia},
  PUBLISHER = {Springer-Verlag, Berlin, Heidelberg, New York},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {4378},
  NUMBER = {},
  YEAR = 2007, PAGES = {441--445},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [20] C. Grelck, S. Scholz, and A. Shafarenko, Coordinating Data Parallel SAC Programs with S-Net, in Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS’07), Long Beach, California, USA, 2007. bibtex
  @INPROCEEDINGS{ GrelSchoShafIPDPS07,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{Coordinating Data Parallel SAC Programs with S-Net}},
  EDITOR = {},
  BOOKTITLE = {Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'07), Long Beach, California, USA},
  PUBLISHER = {IEEE Computer Society Press, Los Alamitos, California, USA},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2007, PAGES = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SAC,SNet}
}
• [21] C. Grelck and F. Penczek, Implementing S-Net: A Typed Stream Processing Language, Part I: Compilation, Code Generation and Deployment, University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom2007. bibtex
  @TECHREPORT{ GrelPencCTCA07,
  author = {Clemens Grelck and Frank Penczek},
  TITLE = {{Implementing S-Net: A Typed Stream Processing Language, Part I: Compilation, Code Generation and Deployment}},
  INSTITUTION = {University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group},
  ADDRESS = {Hatfield, England, United Kingdom},
  TYPE = {},
  NUMBER = {},
  YEAR = 2007, NOTE = {},
  CONTENTS = {},
  sourceURL = {http://www.snet-home.org/?page_id=7},
  TOPICS = {SNet}
}
• [22] F. Penczek, Design and Implementation of a Multithreaded Runtime System for the Stream Processing Language S-Net, Master’s Dissertation , 2007. bibtex
  @MASTERSTHESIS{ Penczek07,
  author = {Frank Penczek},
  TITLE = {{Design and Implementation of a Multithreaded Runtime System for the Stream Processing Language S-Net}},
  SCHOOL = {Institute of Software Technology and Programming Languages, University of L\"ubeck, Germany},
  ADDRESS = {},
  YEAR = 2007, NOTE = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS = {}
}
• [23] H. Cai, S. Eisenbach, A. Shafarenko, and C. Grelck, Extending the S-Net Type System, in Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS’07), Paris, France, 2007. bibtex
  @INPROCEEDINGS{ CaiEiseShaf+AMWAS07,
  author = {Haoxan Cai and Susan Eisenbach and Alex Shafarenko and Clemens Grelck},
  TITLE = {{Extending the S-Net Type System}},
  EDITOR = {},
  BOOKTITLE = {Proceedings of the {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'07), Paris, France},
  PUBLISHER = {},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2007, PAGES = {},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [24] C. Grelck and F. Penczek, On Implementing S-Net, in Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages (IFL’07), Freiburg, Germany, 2007, pp. 531-533. bibtex
  @INPROCEEDINGS{ GrelPencIFL07,
  author = {Clemens Grelck and Frank Penczek},
  TITLE = {{On Implementing S-Net}},
  EDITOR = {Olaf Chitil},
  BOOKTITLE = {Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages (IFL'07), Freiburg, Germany},
  PUBLISHER = {University of Kent, Computing Laboratory, Canterbury, England, UK},
  SERIES = {Technical Report 12-07},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2007, PAGES = {531--533},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}

2006

• [25] A. Shafarenko, S. Scholz, and C. Grelck, Streaming Networks for Coordinating Data-Parallel Programs, in Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI’06), Novosibirsk, Russia, 2006, pp. 274-276. bibtex
  @INPROCEEDINGS{ GrelSchoShafPSI06draft,
  author = {Alex Shafarenko and Sven-Bodo Scholz and Clemens Grelck},
  TITLE = {Streaming Networks for Coordinating Data-Parallel Programs},
  EDITOR = {Irina Virbitskaite and Andrei Voronkov},
  BOOKTITLE = {Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI'06), Novosibirsk, Russia},
  PUBLISHER = {A.P.~Ershov Institute of Informatics Systems 2006, Novosisibirsk, Russia},
  SERIES = {},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2006, PAGES = {274--276},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [26] A. Shafarenko, C. Grelck, and S. Scholz, Semantics and Type Theory of S-Net, in Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 146-166. bibtex
  @INPROCEEDINGS{ ShafGrelSchoIFL06,
  author = {Alex Shafarenko and Clemens Grelck and Sven-Bodo Scholz},
  TITLE = {Semantics and Type Theory of {S-Net}},
  EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
  BOOKTITLE = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
  PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
  SERIES = {Technical Report 2006-S01},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2006, PAGES = {146--166},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [27] C. Grelck, S. Scholz, and A. Shafarenko, S-Net: A Typed Stream Processing Language, in Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL’06), Budapest, Hungary, 2006, pp. 81-97. bibtex
  @INPROCEEDINGS{ GrelSchoShafIFL06,
  author = {Clemens Grelck and Sven-Bodo Scholz and Alex Shafarenko},
  TITLE = {{S-Net}: A Typed Stream Processing Language},
  EDITOR = {Zoltan Horv\'ath and Vikt\'oria Zs\'ok},
  BOOKTITLE = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), Budapest, Hungary},
  PUBLISHER = {E\"otv\"os Lor\'and University, Faculty of Informatics, Budapest, Hungary},
  SERIES = {Technical Report 2006-S01},
  VOLUME = {},
  NUMBER = {},
  YEAR = 2006, PAGES = {81--97},
  NOTE = {},
  CONTENTS = {},
  sourceURL = {},
  TOPICS = {SNet}
}
• [28] C. Grelck and A. Shafarenko, Report on S-Net: A Typed Stream Processing Language, Part I: Foundations, Record Types and Networks, University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom2006. bibtex
  @TECHREPORT{ GrelShafCTCA06,
  author = {Clemens Grelck and Alex Shafarenko},
  TITLE = {{Report on S-Net: A Typed Stream Processing Language, Part I: Foundations, Record Types and Networks}},
  INSTITUTION = {University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group},
  ADDRESS = {Hatfield, England, United Kingdom},
  TYPE = {},
  NUMBER = {},
  YEAR = 2006, NOTE = {},
  CONTENTS = {},
  sourceURL = {http://www.snet-home.org/?page_id=7},
  TOPICS = {SNet}
}