|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An approach to innocent strategies as graphs |
Curien, Pierre-Louis |
2012 |
214 | C |
p. 119-155 37 p. |
article |
|
| 2 | Continuous time temporal logic with counting |
Hirshfeld, Yoram |
2012 |
214 | C |
p. 1-9 9 p. |
article |
|
| 3 | Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity |
Fokkink, Wan |
2012 |
214 | C |
p. 59-85 27 p. |
article |
|
| 4 | Editorial Board |
2012 |
214 | C |
p. i- 1 p. |
article |
||
| 5 | Editorial Board |
2012 |
214 | C |
p. IFC- 1 p. |
article |
||
| 6 | Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages |
Lagorio, Giovanni |
2012 |
214 | C |
p. 86-111 26 p. |
article |
|
| 7 | Mismatch sampling |
Clifford, Raphaël |
2012 |
214 | C |
p. 112-118 7 p. |
article |
|
| 8 | No double discount: Condition-based simultaneity yields limited gain |
Moses, Yoram |
2012 |
214 | C |
p. 47-58 12 p. |
article |
|
| 9 | Static slicing of explicitly synchronized languages |
Leuschel, Michael |
2012 |
214 | C |
p. 10-46 37 p. |
article |
9 results found