Preface to special issue: Expressiveness in Concurrency 2008.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 1, p. 1, doi. 10.1017/S0960129509990235
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2010 AND VI 20 AND IP 1
Results: 4
1
2
Modal and mixed specifications: key decision problems and their complexities.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 1, p. 75, doi. 10.1017/S0960129509990260
- By:
- Publication type:
- Article
3
Turing universality of the Biochemical Ground Form.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 1, p. 45, doi. 10.1017/S0960129509990259
- By:
- Publication type:
- Article
4
Channel abstractions for network security.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 1, p. 3, doi. 10.1017/S0960129509990247
- By:
- Publication type:
- Article