Transactional IPC in L4 Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden - Fiasco - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-07-14 16:23:27		Transactional IPC in L4/Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 656,75 KB Share Document on Facebook