next up previous
Next: Security Up: Programme and Methodology Previous: Construction of Analyses.

Theory of Abstract Resources

The research undertaken in this project will investigate a variety of ``concrete'' resources. The ultimate aim is to develop a theory of abstract resources which allows a uniform treatment of the various resource types.



Igor Siveroni 2004-08-12