Volume 63,
Number 1,
November 2006
Special issue on security issues in coordination models,
languages,
and systems
- Riccardo Focardi, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems.
1-2
- Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey.
3-15
- Alessandro Aldini:
Classification of security properties in a Linda-like process algebra.
16-38
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Component adaptation through flexible subservicing.
39-56
- Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications.
57-87
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
88-107
Volume 63,
Number 2,
December 2006
Special issue on synchronization and concurrency in object-oriented languages
- Timothy L. Harris, Doug Lea:
Special issue on synchronization and concurrency in object-oriented languages.
109-110
- Brian D. Carlstrom, JaeWoong Chung, Hassan Chafi, Austen McDonald, Chi Cao Minh, Lance Hammond, Christoforos E. Kozyrakis, Kunle Olukotun:
Executing Java programs with transactional memory.
111-129
- Patrick Th. Eugster, Sebastien Vaucouleur:
Composing atomic features.
130-146
- John S. Danaher, I.-Ting Angelina Lee, Charles E. Leiserson:
Programming with exceptions in JCilk.
147-171
- João P. Cachopo, António Rito Silva:
Versioned boxes as the basis for memory transactions.
172-185
- J. Eliot B. Moss, Antony L. Hosking:
Nested transactional memory: Model and architecture sketches.
186-201
Volume 63,
Number 3,
December 2006
Special issue on foundations of aspect-oriented programming
- Pascal Fradet, Ralf Lämmel:
Special issue on foundations of aspect-oriented programming.
203-206
- Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages.
207-239
- Jay Ligatti, David Walker, Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice.
240-266
- Radha Jagadeesan, Alan Jeffrey, James Riely:
Typed parametric polymorphism for aspects.
267-296
- Karine Altisen, Florence Maraninchi, David Stauch:
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.
297-320
- Curtis Clifton, Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning.
321-374
Last update Wed Feb 15 05:42:09 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
