Toggle Main Menu Toggle Search

Open Access padlockePrints

Sequencing operations and creating objects

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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


Share