Linking unifying theories of program refinement

Hdl Handle:
http://hdl.handle.net/10149/254920
Title:
Linking unifying theories of program refinement
Authors:
Hayes, I. J. (Ian); Dunne, S. E. (Steve); Meinicke, L. (Larissa)
Affiliation:
The University of Queensland; University of Teesside. School of Computing.
Citation:
Hayes, I.J., Dunne, S.E. and Meinicke, L. (2012) 'Linking unifying theories of program refinement', Science of Computer Programming. Forthcoming in 2012.
Publisher:
Elsevier
Journal:
Science of Computer Programming
Issue Date:
2012
URI:
http://hdl.handle.net/10149/254920
DOI:
10.1016/j.scico.2012.07.010
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S0167642312001384
Type:
Article
Language:
en
Keywords:
program termination; real-time refinement; unifying theories of programming; UTP
ISSN:
0167-6423
Rights:
Subject to restriction, author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/12/2012].
Citation Count:
0 [Scopus, 07/12/2012]

Full metadata record

DC FieldValue Language
dc.contributor.authorHayes, I. J. (Ian)en_GB
dc.contributor.authorDunne, S. E. (Steve)en_GB
dc.contributor.authorMeinicke, L. (Larissa)en_GB
dc.date.accessioned2012-12-07T12:27:04Z-
dc.date.available2012-12-07T12:27:04Z-
dc.date.issued2012-
dc.identifier.citationScience of Computer Programming; Forthcoming 2012en_GB
dc.identifier.issn0167-6423-
dc.identifier.doi10.1016/j.scico.2012.07.010-
dc.identifier.urihttp://hdl.handle.net/10149/254920-
dc.language.isoenen
dc.publisherElsevieren_GB
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S0167642312001384en_GB
dc.rightsSubject to restriction, author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/12/2012].en_GB
dc.subjectprogram terminationen_GB
dc.subjectreal-time refinementen_GB
dc.subjectunifying theories of programmingen_GB
dc.subjectUTPen_GB
dc.titleLinking unifying theories of program refinementen
dc.typeArticleen
dc.contributor.departmentThe University of Queensland; University of Teesside. School of Computing.en_GB
dc.identifier.journalScience of Computer Programmingen_GB
ref.citationcount0 [Scopus, 07/12/2012]en_GB
or.citation.harvardHayes, I.J., Dunne, S.E. and Meinicke, L. (2012) 'Linking unifying theories of program refinement', Science of Computer Programming. Forthcoming in 2012.en_GB
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.