Concurrent Programming in Java
© 1996-1999 Doug Lea  



2.3 Confinement


Readings and Resources

The Hermes programming language pioneered several language constructs and techniques for structuring concurrent and distributed programs, including reference transfer as a primitive. See: The Spring operating system interface definition language embedded hand-off policies as argument qualifiers for methods. See: Techniques based on unique references have also played roles in other OO design and analysis methods. See, for example: For a formal approach to confinement in distributed systems, see:

Doug Lea
Last modified: Sun Oct 17 07:47:47 EDT 1999