Lambda the Ultimate

For some time my colleagues and I have been working on the idea of representing software behaviour as a composition of partial behavioural descriptions, using the parallel composition operator P||Q of CSP.

This gives rise to a pure mixin style behaviour modelling paradigm, with models that have executable semantics. A short description (presented at the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering in Funchal, Madeira earlier this year) can be found here: http://www.metamaxim.com/download/documents/enase.pdf

We are not sure, though, whether what we have produced can be classed as a programming language or not; and if not, what it is.

Any thoughts on this?

Thanks
Ashley