no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A nice labelling for tree-like event structures of degree 3
|
Santocanale, Luigi |
|
2010 |
208 |
6 |
p. 652-665 14 p. |
article |
2 |
Editorial Board (continued)
|
|
|
2010 |
208 |
6 |
p. i- 1 p. |
article |
3 |
Inside Front Cover: Editorial Board
|
|
|
2010 |
208 |
6 |
p. IFC- 1 p. |
article |
4 |
Interpreting a finitary pi-calculus in differential interaction nets
|
Ehrhard, Thomas |
|
2010 |
208 |
6 |
p. 606-633 28 p. |
article |
5 |
Is observational congruence on μ -expressions axiomatisable in equational Horn logic?
|
Mendler, Michael |
|
2010 |
208 |
6 |
p. 634-651 18 p. |
article |
6 |
Making random choices invisible to the scheduler
|
Chatzikokolakis, Konstantinos |
|
2010 |
208 |
6 |
p. 694-715 22 p. |
article |
7 |
Solving games via three-valued abstraction refinement
|
de Alfaro, Luca |
|
2010 |
208 |
6 |
p. 666-676 11 p. |
article |
8 |
Strategy logic
|
Chatterjee, Krishnendu |
|
2010 |
208 |
6 |
p. 677-693 17 p. |
article |
9 |
18th International Conference on Concurrency Theory
|
Caires, Luís |
|
2010 |
208 |
6 |
p. 605- 1 p. |
article |
10 |
Typing termination in a higher-order concurrent imperative language
|
Boudol, Gérard |
|
2010 |
208 |
6 |
p. 716-736 21 p. |
article |