+@inproceedings{steiner_firmata:_2009,
+ title = {Firmata: {Towards} {Making} {Microcontrollers} {Act} {Like} {Extensions} of the {Computer}.},
+ booktitle = {{NIME}},
+ author = {Steiner, Hans-Christoph},
+ year = {2009},
+ pages = {125--130},
+ file = {Steiner - Firmata Towards Making Microcontrollers Act Like .pdf:/home/mrl/.local/share/zotero/storage/YXMY5XHP/Steiner - Firmata Towards Making Microcontrollers Act Like .pdf:application/pdf},
+}
+
+@article{sugihara_programming_2008,
+ title = {Programming models for sensor networks: {A} survey},
+ volume = {4},
+ issn = {15504859},
+ shorttitle = {Programming models for sensor networks},
+ url = {http://portal.acm.org/citation.cfm?doid=1340771.1340774},
+ doi = {10.1145/1340771.1340774},
+ language = {en},
+ number = {2},
+ urldate = {2019-11-01},
+ journal = {ACM Transactions on Sensor Networks},
+ author = {Sugihara, Ryo and Gupta, Rajesh K.},
+ month = mar,
+ year = {2008},
+ pages = {1--29},
+ file = {Sugihara and Gupta - 2008 - Programming models for sensor networks A survey.pdf:/home/mrl/.local/share/zotero/storage/PQWX7QFD/Sugihara and Gupta - 2008 - Programming models for sensor networks A survey.pdf:application/pdf;Sugihara and Gupta - 2008 - Programming models for sensor networks A survey.pdf:/home/mrl/.local/share/zotero/storage/DP7V3EV8/Sugihara and Gupta - 2008 - Programming models for sensor networks A survey.pdf:application/pdf},
+}
+
+@article{dube_bit:_2000,
+ title = {{BIT}: {A} very compact {Scheme} system for embedded applications},
+ journal = {Proceedings of the Fourth Workshop on Scheme and Functional Programming},
+ author = {Dubé, Danny},
+ year = {2000},
+ file = {dube.ps:/home/mrl/.local/share/zotero/storage/RNG6V7HT/dube.ps:application/postscript},
+}
+
+@inproceedings{feeley_picbit:_2003,
+ title = {{PICBIT}: {A} {Scheme} system for the {PIC} microcontroller},
+ booktitle = {Proceedings of the {Fourth} {Workshop} on {Scheme} and {Functional} {Programming}},
+ publisher = {Citeseer},
+ author = {Feeley, Marc and Dubé, Danny},
+ year = {2003},
+ pages = {7--15},
+ file = {Feeley and Dubé - 2003 - PICBIT A Scheme system for the PIC microcontrolle.pdf:/home/mrl/.local/share/zotero/storage/EAEJSKNR/Feeley and Dubé - 2003 - PICBIT A Scheme system for the PIC microcontrolle.pdf:application/pdf},
+}
+
+@inproceedings{st-amour_picobit:_2009,
+ title = {{PICOBIT}: a compact scheme system for microcontrollers},
+ booktitle = {International {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
+ publisher = {Springer},
+ author = {St-Amour, Vincent and Feeley, Marc},
+ year = {2009},
+ pages = {1--17},
+ file = {St-Amour and Feeley - 2009 - PICOBIT a compact scheme system for microcontroll.pdf:/home/mrl/.local/share/zotero/storage/KXRIEPJZ/St-Amour and Feeley - 2009 - PICOBIT a compact scheme system for microcontroll.pdf:application/pdf},
+}
+
+@article{barendsen_uniqueness_1996,
+ title = {Uniqueness typing for functional languages with graph rewriting semantics},
+ volume = {6},
+ number = {6},
+ journal = {Mathematical structures in computer science},
+ author = {Barendsen, Erik and Smetsers, Sjaak},
+ year = {1996},
+ pages = {579--612},
+ file = {Barendsen and Smetsers - 1996 - Uniqueness typing for functional languages with gr.pdf:/home/mrl/.local/share/zotero/storage/BPRC6KJK/Barendsen and Smetsers - 1996 - Uniqueness typing for functional languages with gr.pdf:application/pdf},
+}
+
+@incollection{bolderheij_mission-driven_2018,
+ title = {A {Mission}-{Driven} {C2} {Framework} for {Enabling} {Heterogeneous} {Collaboration}},
+ booktitle = {{NL} {ARMS} {Netherlands} {Annual} {Review} of {Military} {Studies} 2018},
+ publisher = {Springer},
+ author = {Bolderheij, F and Jansen, JM and Kool, AA and Stutterheim, J},
+ year = {2018},
+ pages = {107--130},
+ file = {Bolderheij et al. - 2018 - A Mission-Driven C2 Framework for Enabling Heterog.pdf:/home/mrl/.local/share/zotero/storage/CHDHW2TU/Bolderheij et al. - 2018 - A Mission-Driven C2 Framework for Enabling Heterog.pdf:application/pdf},
+}
+
+@inproceedings{lijnse_itasks_2009,
+ title = {{iTasks} 2: {iTasks} for {End}-users},
+ booktitle = {International {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
+ publisher = {Springer},
+ author = {Lijnse, Bas and Plasmeijer, Rinus},
+ year = {2009},
+ pages = {36--54},
+ file = {Lijnse and Plasmeijer - 2009 - iTasks 2 iTasks for End-users.pdf:/home/mrl/.local/share/zotero/storage/KACEWKXY/Lijnse and Plasmeijer - 2009 - iTasks 2 iTasks for End-users.pdf:application/pdf},
+}
+
+@inproceedings{plasmeijer_conference_2006,
+ title = {A conference management system based on the {iData} toolkit},
+ booktitle = {Symposium on {Implementation} and {Application} of {Functional} {Languages}},
+ publisher = {Springer},
+ author = {Plasmeijer, Rinus and Achten, Peter},
+ year = {2006},
+ pages = {108--125},
+ file = {Plasmeijer and Achten - 2006 - A conference management system based on the iData .pdf:/home/mrl/.local/share/zotero/storage/D4ZXJJ22/Plasmeijer and Achten - 2006 - A conference management system based on the iData .pdf:application/pdf},
+}
+
+@inproceedings{jansen_towards_2010,
+ address = {Seattle, USA},
+ title = {Towards dynamic workflows for crisis management},
+ booktitle = {{ISCRAM} 2010 – 7th {International} {Conference} on {Information} {Systems} for {Crisis} {Response} and {Management}: {Defining} {Crisis} {Management} 3.0, {Proceedings}},
+ publisher = {Information Systems for Crisis Response and Management, ISCRAM},
+ author = {Jansen, Jan Martin and Lijnse, Bas and Plasmeijer, Rinus},
+ editor = {French, B. and Tomaszewski, C.},
+ year = {2010},
+ file = {Jansen et al. - 2010 - Towards dynamic workflows for crisis management.pdf:/home/mrl/.local/share/zotero/storage/AQSZJ3TA/Jansen et al. - 2010 - Towards dynamic workflows for crisis management.pdf:application/pdf},
+}
+
+@inproceedings{van_der_heijden_managing_2011,
+ title = {Managing {COPD} exacerbations with telemedicine},
+ booktitle = {Conference on {Artificial} {Intelligence} in {Medicine} in {Europe}},
+ publisher = {Springer},
+ author = {Van Der Heijden, Maarten and Lijnse, Bas and Lucas, Peter JF and Heijdra, Yvonne F and Schermer, Tjard RJ},
+ year = {2011},
+ pages = {169--178},
+ file = {Van Der Heijden et al. - 2011 - Managing COPD exacerbations with telemedicine.pdf:/home/mrl/.local/share/zotero/storage/AS3MPSEF/Van Der Heijden et al. - 2011 - Managing COPD exacerbations with telemedicine.pdf:application/pdf},
+}
+
+@inproceedings{lijnse_incidone:_2012,
+ title = {Incidone: {A} task-oriented incident coordination tool},
+ volume = {12},
+ booktitle = {Proceedings of the 9th {International} {Conference} on {Information} {Systems} for {Crisis} {Response} and {Management}, {ISCRAM}},
+ author = {Lijnse, Bas and Jansen, Jan Martin and Plasmeijer, Rinus and {others}},
+ year = {2012},
+ file = {Lijnse et al. - 2012 - Incidone A task-oriented incident coordination to.pdf:/home/mrl/.local/share/zotero/storage/EYS9U69B/Lijnse et al. - 2012 - Incidone A task-oriented incident coordination to.pdf:application/pdf},
+}
+
+@mastersthesis{bohm_asynchronous_2019,
+ address = {Nijmegen},
+ title = {Asynchronous {Actions} in a {Synchronous} {World}},
+ abstract = {This thesis introduces a system for asynchronous communication in the iTasks framework. The
+framework is written in Clean, a pure, lazy, functional language. Tasks need to be able to access
+data in the system and retrieve data from all kinds of data sources. The share system allows
+tasks to read arbitrary data sources and provides a simple interface that allows composition of
+different data sources. This system allows tasks to share and store data in an efficient, re-usable
+way.
+A disadvantage of the share system is that it does not allow asynchronous evaluation. When
+one task is using a share, other tasks have to wait for the full evaluation of this share before they
+can be evaluated. This has the effect that users in the iTasks framework must wait on other
+users. This results in poor user experience.
+We implement a share system which, by way of share rewriting, allows asynchronous evalua-
+tion. The system can be used to communicate with arbitrary services on the internet, as well as
+to communicate between different iTasks servers in a distributed context.
+We show how asynchronous shares are implemented and what the limitations are. We also
+show multiple practical examples of using asynchronous shares. The new system can be effectively
+used to consume services on the internet. It fits nicely into existing iTasks programs and requires
+few changes in existing programs.},
+ language = {en},
+ school = {Radboud University},
+ author = {Böhm, Haye},
+ month = jan,
+ year = {2019},
+ file = {Bohm - Asynchronous Actions in a Synchronous World.pdf:/home/mrl/.local/share/zotero/storage/D3IYPAM5/Bohm - Asynchronous Actions in a Synchronous World.pdf:application/pdf},
+}
+
+@inproceedings{hentschel_supersensors:_2016,
+ address = {Vienna, Austria},
+ title = {Supersensors: {Raspberry} {Pi} {Devices} for {Smart} {Campus} {Infrastructure}},
+ isbn = {978-1-5090-4052-0},
+ shorttitle = {Supersensors},
+ doi = {10.1109/FiCloud.2016.16},
+ abstract = {We describe an approach for developing a campuswide sensor network using commodity single board computers. We sketch various use cases for environmental sensor data, for different university stakeholders. Our key premise is that supersensors—sensors with significant compute capability—enable more flexible data collection, processing and reaction. In this paper, we describe the initial prototype deployment of our supersensor system in a single department at the University of Glasgow.},
+ language = {en},
+ urldate = {2019-09-04},
+ booktitle = {2016 {IEEE} 4th {International} {Conference} on {Future} {Internet} of {Things} and {Cloud} ({FiCloud})},
+ publisher = {IEEE},
+ author = {Hentschel, Kristian and Jacob, Dejice and Singer, Jeremy and Chalmers, Matthew},
+ month = aug,
+ year = {2016},
+ pages = {58--62},
+ file = {Hentschel et al. - 2016 - Supersensors Raspberry Pi Devices for Smart Campu.pdf:/home/mrl/.local/share/zotero/storage/ATK53FN2/Hentschel et al. - 2016 - Supersensors Raspberry Pi Devices for Smart Campu.pdf:application/pdf},
+}
+
+@inproceedings{feijs_multi-tasking_2013,
+ address = {Wuxi, China},
+ title = {Multi-tasking and {Arduino} : why and how?},
+ isbn = {978-90-386-3462-3},
+ abstract = {In this article I argue that it is important to develop experiential prototypes which have multi-tasking capabilities. At the same time I show that for embedded prototype software based on the popular Arduino platform this is not too difficult. The approach is explained and illustrated using technical examples – practical and hands-on, down to the code level. At the same time a few helpful notations for designing and documenting the software are introduced and illustrated by the same examples. Finally a few case studies of the technical approach are listed.},
+ language = {English},
+ booktitle = {Design and semantics of form and movement. 8th {International} {Conference} on {Design} and {Semantics} of {Form} and {Movement} ({DeSForM} 2013)},
+ author = {Feijs, Loe},
+ editor = {Chen, L. L. and Djajadiningrat, T. and Feijs, L. M. G. and Fraser, S. and Hu, J. and Kyffin, S. and Steffen, D.},
+ year = {2013},
+ pages = {119--127},
+ file = {Feijs - 2013 - Multi-tasking and Arduino why and how.pdf:/home/mrl/.local/share/zotero/storage/8A3Q8LHA/Feijs - 2013 - Multi-tasking and Arduino why and how.pdf:application/pdf},
+}
+
+@article{haenisch_case_2016,
+ title = {A case study on using functional programming for internet of things applications},
+ volume = {3},
+ number = {1},
+ journal = {Athens Journal of Technology \& Engineering},
+ author = {Haenisch, Till},
+ year = {2016},
+ file = {Haenisch - 2016 - A case study on using functional programming for i.pdf:/home/mrl/.local/share/zotero/storage/EID5EW5N/Haenisch - 2016 - A case study on using functional programming for i.pdf:application/pdf},
+}
+