Sequencing operations and creating objects

There are two major approaches to formal specification: state based specification techniques and process algebras. This paper looks both at combinations of the approaches to ordering and the less-studied question of the dynamic creation of objects. As an "extended abstract" it is outlining a research agenda rather than reporting a closed research result.