Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Oortwijn, W.H.M.
Home Policy Brochure Browse Search User Area Contact Help


Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Static Verification of Message Passing Programs. In: ICT.Open 2016, 21-22 March 2016, Amersfoort, The Netherlands. University of Twente. ISBN not assigned
Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Future-based Static Analysis of Message Passing Programs. In: Proceedings of the Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, 8 April 2016, Eindhoven, The Netherlands. pp. 65-72. Electronic Notes in Theoretical Computer Science 211. Open Publishing Association. ISSN 2075-2180


Oortwijn, W.H.M. and van Dijk, T. and van de Pol, J.C. (2015) A Distributed Hash Table for Shared Memory. In: Proceedings of the 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2016), Revised Selected Papers., 06-09 Sept 2015, Krakow, Poland. pp. 15-24. Lecture Notes in Computer Science 9574. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-32151-6