Unifying theories of programming that distinguish nontermination and abort

Ian J Hayes, Steve E Dunne, Larissa Meinicke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

108 Downloads (Pure)
Original languageEnglish
Title of host publicationMathematics of programme construction
EditorsClaude Bolduc, Jules Desharnais, Béchir Ktari
Place of PublicationBerlin
PublisherSpringer Verlag
Pages178-194
ISBN (Print)9783642133206
DOIs
Publication statusPublished - 2010
EventMathematics of Program Construction 10th International Conference - Québec City, Canada
Duration: 21 Jun 201023 Jun 2010

Publication series

NameLecture note in computer science; 6120

Conference

ConferenceMathematics of Program Construction 10th International Conference
Abbreviated titleMPC 2010
Country/TerritoryCanada
CityQuébec City
Period21/06/1023/06/10

Cite this