Jeroen Brinkman - Visualisation of Permission flow in Concurrent Programs

author:Jeroen Brinkman
title:Visualisation of Permission flow in Concurrent Programs
keywords:
topics:Creative
committee:dr. S.C.C. Blom
prof.dr. M. Huisman (1st supervisor)
graduation date:1 July 2016


Abstract

References

  1. VerCors project (Digital version available here)