An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar - Sequential logic - Document - PDFSEARCH.IO

First Page	Meta Content
	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar Add to Reading List Document Date: 2013-03-27 09:07:24 Open Document File Size: 274,75 KB Share Result on Facebook

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, DakarAdd to Reading List