Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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. © 2005 IEEE.
Author(s): Jones CB
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005)
Year of Conference: 2005
Pages: 33-35
Publisher: IEEE
URL: http://dx.doi.org/10.1109/ICECCS.2005.76
DOI: 10.1109/ICECCS.2005.76
Library holdings: Search Newcastle University Library for this item
ISBN: 076952284X
