MSC volume 22 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. b1, doi. 10.1017/S0960129512000023
- Publication type:
- Article
Works matching IS 09601295 AND DT 2012 AND VI 22 AND IP 2
Results: 9
1
2
Characteristic formulae for fixed-point semantics: a general framework.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 125, doi. 10.1017/S0960129511000375
- By:
- Publication type:
- Article
3
Preface to special issue: EXPRESS, ICE and SOS 2009.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 123, doi. 10.1017/S0960129511000363
- By:
- Publication type:
- Article
4
MSC volume 22 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. f1, doi. 10.1017/S0960129512000011
- Publication type:
- Article
5
On projecting processes into session types.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 237, doi. 10.1017/S0960129511000405
- By:
- Publication type:
- Article
6
Almost linear Büchi automata.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 203, doi. 10.1017/S0960129511000399
- By:
- Publication type:
- Article
7
Modal logic and the approximation induction principle.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 175, doi. 10.1017/S0960129511000387
- By:
- Publication type:
- Article
8
A hierarchy of reverse bisimulations on stable configuration structures.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 333, doi. 10.1017/S0960129511000429
- By:
- Publication type:
- Article
9
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 291, doi. 10.1017/S0960129511000417
- By:
- Publication type:
- Article