Unifying theories of programming that distinguish nontermination and abort

Hayes, I. J., Dunne, S. E. and Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. In: Claude Bolduc, Jules Desharnais and Béchir Ktari, Lecture Notes in Computer Science. Mathematics of Program Construction: 10th International Conference, MPC 2010. Mathematics of Program Construction [MPC], Québec City, Québec, Canada, (178-194). 21-23 June, 2010. doi:10.1007/978-3-642-13321-3

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ209605.pdf HERDC evidence - not publicly available application/pdf 88.22KB 2

Author Hayes, I. J.
Dunne, S. E.
Meinicke, L.
Title of paper Unifying theories of programming that distinguish nontermination and abort
Conference name Mathematics of Program Construction [MPC]
Conference location Québec City, Québec, Canada
Conference dates 21-23 June, 2010
Proceedings title Lecture Notes in Computer Science. Mathematics of Program Construction: 10th International Conference, MPC 2010   Check publisher's open access policy
Journal name Mathematics of Program Construction, Proceedings   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2010
Sub-type Fully published paper
DOI 10.1007/978-3-642-13321-3
Open Access Status
ISBN 9783642133213
ISSN 0302-9743
Editor Claude Bolduc
Jules Desharnais
Béchir Ktari
Volume 6120
Start page 178
End page 194
Total pages 16
Collection year 2011
Language eng
Subjects E1
0906 Electrical and Electronic Engineering
0105 Mathematical Physics
Keyword Real-time
Refinement Calculus
Systems
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 8 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 10 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sun, 25 Jul 2010, 00:08:54 EST