Publisher: Elsevier

Related content
Volume 20, Number 1, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites
Favourites:Add to Favourites
Favourites:Add to Favourites
Favourites:Add to Favourites

Characterizing Topologies With Bounded Complete Computational Models
pp. 1-11(11)
Authors: Ciesielski, K.; Flagg, R.C.; Kopperman, R.

Favourites:Add to Favourites
Favourites:Add to Favourites
Favourites:Add to Favourites
Favourites:Add to Favourites

Modularity and Dyads
pp. 1-14(14)
Authors: Power, J.; Robinson, E.

Favourites:Add to Favourites

Towards a Strand Semantics for Authentication Logic
pp. 1-15(15)
Author: Syverson, P.

Favourites:Add to Favourites

A Categorical and Graphical Treatment of Closure Conversion
pp. 1-31(31)
Authors: Schweimeier, R.; Jeffrey, A.

Favourites:Add to Favourites

Direct Models for the Computational Lambda-calculus
pp. 1-48(48)
Author: Fuhrmann, C.

Favourites:Add to Favourites

Enforcing Security and Safety with Proof-Carrying Code
pp. 1-15(15)
Author: Necula, G.C.

Favourites:Add to Favourites

Categorical Structure of Asynchrony
pp. 1-24(24)
Author: Selinger, P.

Favourites:Add to Favourites

Completeness Classes of Equilogical Spaces
pp. 1-16(16)
Author: Heckmann, R.

Favourites:Add to Favourites

Semantic Domains, Injective Spaces and Monads - Extended Abstract
pp. 1-16(16)
Authors: Escardo, M.H.; Flagg, R.C.

Favourites:Add to Favourites
Favourites:Add to Favourites

Type-checking Balloon Types
pp. 1-27(27)
Author: Almeida, P.S.

Favourites:Add to Favourites

The MFPS XV Security Session
pp. 1-4(4)
Authors: Meadows, C.; Volpano, D.

Favourites:Add to Favourites

Local DCPOs, Local CPOs and Local Completions
pp. 1-14(14)
Author: Mislove, M.W.

Favourites:Add to Favourites

Secrecy in Programming-Language Semantics
pp. 1-15(15)
Author: Abadi, M.

Favourites:Add to Favourites

Confinement Properties for Multi-Threaded Programs
pp. 1-11(11)
Authors: Smith, G.; Volpano, D.

Favourites:Add to Favourites

A Core Calculus of Classes and Objects
pp. 1-22(22)
Authors: Bono, V.; Patel, A.; Shmatikov, V.; Mitchell, J.

Favourites:Add to Favourites
Favourites:Add to Favourites

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more