Tiles are rewrite rules with side e ects, reminiscent of both Plotkin SOS and Meseguer rewriting logic rules. They are well suited for modeling coordination languages, since they can be composed both statically and dynamically via possibly complex synchronization and workow mechanisms. In this paper, we give a tile-based bisimilarity semantics for the asynchronous -calculus of Honda and Tokoro ...

At TCC 2012, Dziembowski and Faust show how to construct leakage resilient circuits using secret sharing based on the inner product [2]. At Asiacrypt 2012, Ballash et al. turned the latter construction into an efficient masking scheme and they apply it to protect an implementation of AES against side-channel attacks [1]. The so-called Inner-Product masking (IP masking for short) was claimed to ...

In this issue of Arteriosclerosis, Thrombosis and Vascular Biology, de Waard et al1 report enhanced neointima formation and luminal stenosis following carotid artery ligation in mice deficient for plasminogen activator inhibitor-1 (PAI-1) or vitronectin (VN) compared with their wildtype counterparts. Their findings appear to contradict those of a recently published study by Peng et al,2 thus ad...

In a recent correspondence 111, Ye-Wei and Wei have shown two counterexamples which contradict Theorems 4 and 5 of Smith [2]. In his author’s reply [3], Smith has stated an additional condition under which Theorems 4 and 5 will hold good. In this correspondence, we provide a counterexample which contradicts Smith’s modified Theorem 5. We also provide another counterexample which contradicts eve...