|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Timed Concurrent Constraint Language |
de Boer, F.S. |
2000 |
161 | 1 |
p. 45-83 39 p. |
article |
|
| 2 | Papers to Appear in Forthcoming Issues |
2000 |
161 | 1 |
p. 84- 1 p. |
article |
||
| 3 | Type Reconstruction for Linear π-Calculus with I/O Subtyping |
Igarashi, Atsushi |
2000 |
161 | 1 |
p. 1-44 44 p. |
article |
3 results found