Access control in mobile ambient calculi: A comparative view (English)
- New search for: Margaria, Ines
- New search for: Zacchi, Maddalena
- New search for: Margaria, Ines
- New search for: Zacchi, Maddalena
In:
Theoretical Computer Science
;
398
, 1-3
;
183-202
;
2008
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Access control in mobile ambient calculi: A comparative view
-
Contributors:Margaria, Ines ( author ) / Zacchi, Maddalena ( author )
-
Published in:Theoretical Computer Science ; 398, 1-3 ; 183-202
-
Publisher:
- New search for: Elsevier Ltd
-
Publication date:2008-01-01
-
Size:20 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 398, Issue 1-3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Calculi, types and applicationsBerardi, Stefano / de’Liguoro, Ugo et al. | 2008
- 1
-
Calculi, types and applications:Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della RoccaBerardi, S. / de’ / Liguoro, U. et al. | 2008
- 12
-
Towards the range property for the lambda theory Formula Not ShownBarendregt, H. et al. | 2008
- 12
-
Towards the range property for the lambda theoryBarendregt, Henk et al. | 2008
- 16
-
Lambda calculus with patternsKlop, Jan Willem / van Oostrom, Vincent / de Vrijer, Roel et al. | 2008
- 32
-
The weak lambda calculus as a reasonable machineDal Lago, Ugo / Martini, Simone et al. | 2008
- 51
-
Parametric λ -theoriesPaolini, Luca et al. | 2008
- 63
-
On strong normalization and type inference in the intersection type disciplineBoudol, Gérard et al. | 2008
- 82
-
The heart of intersection type assignment: Normalisation proofs revisitedvan Bakel, Steffen et al. | 2008
- 95
-
A typed lambda calculus with intersection typesBono, Viviana / Venneri, Betti / Bettini, Lorenzo et al. | 2008
- 114
-
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritageDougherty, Daniel J. / Ghilezan, Silvia / Lescanne, Pierre et al. | 2008
- 129
-
An irregular filter modelAlessi, Fabio et al. | 2008
- 150
-
A type assignment system for game semanticsDi Gianantonio, Pietro / Honsell, Furio / Lenisa, Marina et al. | 2008
- 170
-
Computability and the morphological complexity of some dynamics on continuous domainsHoyrup, Mathieu / Kolçak, Arda / Longo, Giuseppe et al. | 2008
- 183
-
Access control in mobile ambient calculi: A comparative viewMargaria, Ines / Zacchi, Maddalena et al. | 2008
- 203
-
Role-based access control for boxed ambientsCompagnoni, Adriana / Gunter, Elsa L. / Bidinger, Philippe et al. | 2008
- 217
-
Semantic subtyping for the pi-calculusCastagna, Giuseppe / Nicola, Rocco De / Varacca, Daniele et al. | 2008
- 243
-
Extending FeatherTrait Java with InterfacesLiquori, Luigi / Spiwack, Arnaud et al. | 2008
- v
-
Editorial Board| 2008