Works matching IS 09601295 AND DT 2016 AND VI 26 AND IP 6
Results: 7
Breaking symmetries.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 1054, doi. 10.1017/S0960129514000346
- By:
- Publication type:
- Article
Preface to special issue: EXPRESS 2010.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 907, doi. 10.1017/S0960129514000371
- By:
- Publication type:
- Article
Models for CSP with availability information.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 1022, doi. 10.1017/S0960129514000334
- By:
- Publication type:
- Article
Relating timed and register automata.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 993, doi. 10.1017/S0960129514000322
- By:
- Publication type:
- Article
Light logics and higher-order processes.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 969, doi. 10.1017/S0960129514000310
- By:
- Publication type:
- Article
Expressiveness modulo bisimilarity of regular expressions with parallel composition.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 933, doi. 10.1017/S0960129514000309
- By:
- Publication type:
- Article
Compositional methods for information-hiding.
- Published in:
- 2016
- By:
- Publication type:
- Case Study