+@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},
+}
+
+@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},
+ url = {http://ieeexplore.ieee.org/document/7575844/},
+ 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},
+}
+