نتائج البحث

Towards the Correctness of Security Protocols

• Authors : Debbabi, Mourad; Mejri, Mohamed

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 55-98 ; ISSN 1571-0661

تفاصيل العنوان

Domain-theoretic Solution of Differential Equations (Scalar Fields)

• Authors : Edalat, A.; Krznarić, M.; Lieutier, A.

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 99-112 ; ISSN 1571-0661

تفاصيل العنوان

On the Semantics of the Bad-Variable Constructor in Algol-like Languages

• Authors : McCusker, Guy

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 169-186 ; ISSN 1571-0661

تفاصيل العنوان

How Do Domains Model Topologies?

• Authors : Waszkiewicz, Paweł

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 247-262 ; ISSN 1571-0661

تفاصيل العنوان

Intensional Double Glueing, Biextensional Collapse, and the Chu Construction

• Authors : Hughes, Dominic

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 131-147 ; ISSN 1571-0661

تفاصيل العنوان

Preface

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page i-ii ; ISSN 1571-0661

تفاصيل العنوان

Chu Spaces, Concept Lattices, and Domains

• Authors : Zhang, Guo-Qiang

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 287-302 ; ISSN 1571-0661

تفاصيل العنوان

Pseudo-distributive Laws

• Authors : Cheng, Eugenia; Hyland, Martin; Power, John

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 227-245 ; ISSN 1571-0661

تفاصيل العنوان

Cumulative Computing

• Authors : Chen, Yifeng

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 23-38 ; ISSN 1571-0661

تفاصيل العنوان

Contextual Equivalence for Higher-Order π-Calculus Revisited

• Authors : Jeffrey, Alan; Rathke, Julian

Subjects: General Computer Science; Theoretical Computer Science

• Source: Electronic Notes in Theoretical Computer Science ; volume 83, page 149-168 ; ISSN 1571-0661

تفاصيل العنوان