Volume 51, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 51, Issue 6

September 2014

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Some kinds of primitive and non-primitive words
Cao Chunhua
Yang Shuang
Yang Di
Original Article 10 April 2014 Pages: 339 - 346
Formal communication elimination and sequentialization equivalence proofs for distributed system models
Miquel Bertran
Francesc Babot
August Climent
Original Article 31 July 2014 Pages: 347 - 418