An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory - Sciweavers

32

click to vote

more LPAR 2010 ...

nicosia.is.s.u-tokyo.ac.jp

Tweet