Works matching IS 00015903 AND DT 2014 AND VI 51 AND IP 6
Results: 2
Formal communication elimination and sequentialization equivalence proofs for distributed system models.
- Published in:
- Acta Informatica, 2014, v. 51, n. 6, p. 347, doi. 10.1007/s00236-014-0203-0
- By:
- Publication type:
- Article
Some kinds of primitive and non-primitive words.
- Published in:
- Acta Informatica, 2014, v. 51, n. 6, p. 339, doi. 10.1007/s00236-014-0200-3
- By:
- Publication type:
- Article