Bibliography.bib

@article{astrakahn,
  author    = {Alex Shafarenko},
  title     = {AstraKahn: A Coordination Language for Streaming Networks},
  journal   = {CoRR},
  volume    = {abs/1306.6029},
  year      = {2013},
  ee        = {http://arxiv.org/abs/1306.6029},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{kahn74,
  author    = {Gilles Kahn},
  title     = {The Semantics of Simple Language for Parallel Programming},
  booktitle = {IFIP Congress},
  year      = {1974},
  pages     = {471-475},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{stephens97,
  author    = {Robert Stephens},
  title     = {A Survey of Stream Processing},
  journal   = {Acta Inf.},
  volume    = {34},
  number    = {7},
  year      = {1997},
  pages     = {491-541},
  ee        = {http://dx.doi.org/10.1007/s002360050095},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{sdf,
  author = {Lee, Edward Ashford and Messerschmitt, David G.},
  title = {Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing},
  journal = {IEEE Trans. Comput.},
  issue_date = {Jan. 1987},
  volume = {36},
  number = {1},
  month = jan,
  year = {1987},
  issn = {0018-9340},
  pages = {24--35},
  numpages = {12},
  url = {http://dx.doi.org/10.1109/TC.1987.5009446},
  doi = {10.1109/TC.1987.5009446},
  acmid = {22814},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  keywords = {Block diagram, Petri nets, computation graphs, data flow digital signal processing, hard real-time systems, multiprocessing, static scheduling, synchronous data flow},
}

@article{lucid,
  author    = {Edward A. Ashcroft and William W. Wadge},
  title     = {Lucid, a Nonprocedural Language with Iteration},
  journal   = {Commun. ACM},
  volume    = {20},
  number    = {7},
  year      = {1977},
  pages     = {519-526},
  ee        = {http://doi.acm.org/10.1145/359636.359715},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{snet_intro,
  author    = {Clemens Grelck and Sven-Bodo Scholz and Alexander V. Shafarenko},
  title     = {{A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components}},
  journal   = {Parallel Processing Letters},
  volume    = {18},
  number    = {2},
  year      = {2008},
  pages     = {221-237},
  ee        = {http://dx.doi.org/10.1142/S0129626408003351},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{papadopoulos,
  author = {George A. Papadopoulos and Farhad Arbab},
  title = {Coordination Models and Languages},
  booktitle = {ADVANCES IN COMPUTERS},
  year = {1998},
  pages = {329--400},
  publisher = {Academic Press}
}

@article{linda,
  author = {Ahuja, Sudhir and Carriero, Nicholas and Gelernter, David},
  title = {Linda and Friends},
  journal = {Computer},
  issue_date = {August 1986},
  volume = {19},
  number = {8},
  month = aug,
  year = {1986},
  issn = {0018-9162},
  pages = {26--34},
  numpages = {9},
  url = {http://dx.doi.org/10.1109/MC.1986.1663305},
  doi = {10.1109/MC.1986.1663305},
  acmid = {19647},
  publisher = {IEEE Computer Society Press},
  address = {Los Alamitos, CA, USA},
}

@article{Reo_Arbab04,
  author    = {Farhad Arbab},
  title     = {Reo: a channel-based coordination model for component composition},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {14},
  number    = {3},
  year      = {2004},
  pages     = {329-366},
  ee        = {http://dx.doi.org/10.1017/S0960129504004153},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{baier_ca,
  author = {Baier, Christel and Sirjani, Marjan and Arbab, Farhad and Rutten, Jan},
  title = {Modeling Component Connectors in Reo by Constraint Automata},
  journal = {Sci. Comput. Program.},
  issue_date = {July 2006},
  volume = {61},
  number = {2},
  month = jul,
  year = {2006},
  issn = {0167-6423},
  pages = {75-113},
  numpages = {39},
  url = {http://dx.doi.org/10.1016/j.scico.2005.10.008},
  doi = {10.1016/j.scico.2005.10.008},
  acmid = {1149396},
  publisher = {Elsevier North-Holland, Inc.},
  address = {Amsterdam, The Netherlands, The Netherlands},
  keywords = {Reo, bisimulation, components, composition, constraint automata, coordination, simulation, timed data streams, verification},
}

@inproceedings{streamit,
  author = {Thies, William and Karczmarek, Michal and Amarasinghe, Saman P.},
  title = {StreamIt: A Language for Streaming Applications},
  booktitle = {Proceedings of the 11th International Conference on Compiler Construction},
  series = {CC '02},
  year = {2002},
  isbn = {3-540-43369-4},
  pages = {179--196},
  numpages = {18},
  url = {http://dl.acm.org/citation.cfm?id=647478.727935},
  acmid = {727935},
  publisher = {Springer-Verlag},
  address = {London, UK, UK},
}

@inproceedings{nga,
  author        = {Vu Thien Nga Nguyen and Raimund Kirner},
  title         = {Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms},
  booktitle     = {ICA3PP (1)},
  year          = {2013},
  pages         = {357-369},
  ee            = {http://dx.doi.org/10.1007/978-3-319-03859-9_31},
  AFFIL         = {ctca},
  TOPICS        = {SNet}
}

@misc{openmp,
  author    = {{OpenMP Architecture Review Board}},
  title     = {{OpenMP} Application Program Interface Version 4.0},
  year      = {2013},
  url       = {http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}
}

@misc{mpi,
  author    = {Message Passing Interface Forum},
  title     = {{MPI: A Message-Passing Interface Standard Version 3.0}},
  year      = {2012},
  note      = {Chapter author for Collective Communication, Process Topologies, and One Sided Communications},
}

@misc{cilk,
  author    = {Intel Corporation},
  title     = {Intel Cilk Plus Language Extension Specification Version 1.2},
  year      = {2013}
}

@misc{ply,
  author    = {David Beazly et al},
  title     = {PLY (Python Lex-Yacc)},
  month     = feb,
  year      = {2011},
  howpublished = "\url{http://www.dabeaz.com/ply/}",
  note      = "[Online; accessed 9-December-2014]"
}

@book{dragonbook,
  author    = {Aho, Alfred V. and Lam, Monica S. and Sethi, Ravi and Ullman, Jeffrey D.},
  title     = {Compilers: Principles, Techniques, and Tools (2nd Edition)},
  year      = {2006},
  isbn      = {0321486811},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  address   = {Boston, MA, USA},
}

@INPROCEEDINGS{ceng_snet, 
  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}, 
  AFFIL = {ctca}
}

@INPROCEEDINGS{ess_sync, 
  author = {Clemens Grelck}, 
  TITLE = {{The Essence of Synchronisation in Asynchronous Data Flow Programming}}, 
  EDITOR = {Jurriaan Hage}, 
  BOOKTITLE = {22nd International Symposium on Implementation and Application of Functional Languages (IFL'10), Alphen aan den Rijn, Netherlands}, 
  PUBLISHER = {Department of Information and Computing Sciences, Utrecht University}, 
  SERIES = {Technical Report}, 
  VOLUME = {UU-CS-2010-020}, 
  NUMBER = {}, 
  YEAR = 2010, PAGES = {159--172}, 
  ISSN = {0924-3275}, 
  NOTE = {}, 
  CONTENTS = {}, 
  sourceURL = {}, 
  TOPICS = {SNet}
}

@misc{pycparser,
  author = {Eli Bendersky},
  title = {A parser for the C language written in pure Python},
  year = {2015},
  publisher = {GitHub},
  journal = {GitHub repository},
  howpublished = {\url{https://github.com/eliben/pycparser}},
  commit = {e242e4ca1c5b089013fc508404f43b333a4f05e6}
}