Some kinds of primitive and non-primitive words Cao ChunhuaYang ShuangYang Di Original Article 10 April 2014 Pages: 339 - 346
Formal communication elimination and sequentialization equivalence proofs for distributed system models Miquel BertranFrancesc BabotAugust Climent Original Article 31 July 2014 Pages: 347 - 418