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
Electronic Edition (link) BibTeX
- Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey.
3-15
Electronic Edition (link) BibTeX
- Alessandro Aldini:
Classification of security properties in a Linda-like process algebra.
16-38
Electronic Edition (link) BibTeX
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Component adaptation through flexible subservicing.
39-56
Electronic Edition (link) BibTeX
- Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications.
57-87
Electronic Edition (link) BibTeX
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
88-107
Electronic Edition (link) BibTeX
Volume 63,
Number 2,
December 2006
Special issue on synchronization and concurrency in object-oriented languages
- Tim Harris, Doug Lea:
Special issue on synchronization and concurrency in object-oriented languages.
109-110
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Patrick Th. Eugster, Sebastien Vaucouleur:
Composing atomic features.
130-146
Electronic Edition (link) BibTeX
- John S. Danaher, I.-Ting Angelina Lee, Charles E. Leiserson:
Programming with exceptions in JCilk.
147-171
Electronic Edition (link) BibTeX
- João P. Cachopo, António Rito Silva:
Versioned boxes as the basis for memory transactions.
172-185
Electronic Edition (link) BibTeX
- J. Eliot B. Moss, Antony L. Hosking:
Nested transactional memory: Model and architecture sketches.
186-201
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages.
207-239
Electronic Edition (link) BibTeX
- Jay Ligatti, David Walker, Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice.
240-266
Electronic Edition (link) BibTeX
- Radha Jagadeesan, Alan Jeffrey, James Riely:
Typed parametric polymorphism for aspects.
267-296
Electronic Edition (link) BibTeX
- Karine Altisen, Florence Maraninchi, David Stauch:
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.
297-320
Electronic Edition (link) BibTeX
- Curtis Clifton, Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning.
321-374
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:18:42 2009
by Michael Ley (ley@uni-trier.de)
