|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Type System for Robust Declassification |
Zdancewic, Steve |
2003 |
83 | C |
p. 263-277 15 p. |
artikel |
|
| 2 | Chu Spaces, Concept Lattices, and Domains |
Zhang, Guo-Qiang |
2003 |
83 | C |
p. 287-302 16 p. |
artikel |
|
| 3 | Compact Coverages Generate Spectral Frames |
Zhang, Guo-Qiang |
2003 |
83 | C |
p. 279-285 7 p. |
artikel |
|
| 4 | Contextual Equivalence for Higher-Order π-Calculus Revisited |
Jeffrey, Alan |
2003 |
83 | C |
p. 149-168 20 p. |
artikel |
|
| 5 | Cumulative Computing |
Chen, Yifeng |
2003 |
83 | C |
p. 23-38 16 p. |
artikel |
|
| 6 | Domain-theoretic Solution of Differential Equations (Scalar Fields) |
Edalat, A. |
2003 |
83 | C |
p. 99-112 14 p. |
artikel |
|
| 7 | Entropic Geometry from Logic |
Coecke, Bob |
2003 |
83 | C |
p. 39-53 15 p. |
artikel |
|
| 8 | Generic Transforms on Incomplete Specifications of Asynchronous Interfaces |
Negulescu, Radu |
2003 |
83 | C |
p. 187-200 14 p. |
artikel |
|
| 9 | How Do Domains Model Topologies? |
Waszkiewicz, Paweł |
2003 |
83 | C |
p. 247-262 16 p. |
artikel |
|
| 10 | Intensional Double Glueing, Biextensional Collapse, and the Chu Construction |
Hughes, Dominic |
2003 |
83 | C |
p. 131-147 17 p. |
artikel |
|
| 11 | On the Semantics of the Bad-Variable Constructor in Algol-like Languages |
McCusker, Guy |
2003 |
83 | C |
p. 169-186 18 p. |
artikel |
|
| 12 | Preface |
2003 |
83 | C |
p. i-ii nvt p. |
artikel |
||
| 13 | Pseudo-distributive Laws |
Cheng, Eugenia |
2003 |
83 | C |
p. 227-245 19 p. |
artikel |
|
| 14 | Ribbon Proofs |
Bean, Jules |
2003 |
83 | C |
p. 1-21 21 p. |
artikel |
|
| 15 | Secure Protocol Composition |
Datta, Anupam |
2003 |
83 | C |
p. 201-226 26 p. |
artikel |
|
| 16 | The Security Picalculus and Non-interference (Extended Abstract) |
Hennessy, Matthew |
2003 |
83 | C |
p. 113-129 17 p. |
artikel |
|
| 17 | Towards the Correctness of Security Protocols |
Debbabi, Mourad |
2003 |
83 | C |
p. 55-98 44 p. |
artikel |
17 gevonden resultaten