Weak symmetry breaking and abstract simplex paths.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 6, p. 1432, doi. 10.1017/S0960129514000085
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 6
Results: 4
1
2
On recursive operations over logic LTS.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 6, p. 1382, doi. 10.1017/S0960129514000073
- By:
- Publication type:
- Article
3
Sub-behaviour relations for session-based client/server systems.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 6, p. 1339, doi. 10.1017/S096012951400005X
- By:
- Publication type:
- Article
4
Non-deterministic structures of computation.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 6, p. 1295, doi. 10.1017/S0960129514000012
- By:
- Publication type:
- Article