| 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] |
| Appears in Collections: | Computer Science
|
| Files in This Item: |
There are no files associated with this item. |
|
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.
Del.icio.us
LinkedIn
Citeulike
Connotea
Facebook
Stumble it!
Twitter
