@inbook{739fc388f320446da14b64a773494e62,
title = "Iteration and nontermination",
abstract = "Iteration in programming-language semantics requires a more sophisticated approach than the other constructs we have seen so far: once loops are introduced, we are forced to describe the meaning of a loop{\textquoteright}s failing to terminate, in the most extreme case for example WHILE TRUE DO SKIP.",
author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-319-96131-6\_16",
language = "English",
series = "Information Security and Cryptography",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "307--323",
booktitle = "Information Security and Cryptography",
}