** Next:** Optimal reductions in the
**Up:** Progress
** Previous:** Progress

This area treats of various models for rewrite systems with bound variables. It has actually 3 parts. First, we pursue the work on functional models, i.e. optimal reductions in the lambda calculus, sequentiality and axiomatic rewriting systems. Secondly, we consider new models for concurrency, ie action calculi and the tile model. Finally, we treat of the use of rewrite rules as a model for the optimisation of concurrent programs.

- Optimal reductions in the -calculus
- Axiomatic Rewriting Systems
- Sequentiality
- The Theory of Action calculi
- The tile model
- Correct Transformations of Nondeterministic Programs
- Flow graphs and semantics