Publisher
Springer International Publishing
Reference40 articles.
1. Aarts, C.J., et al.: Fixed-point calculus. Inf. Process. Lett. 53(3), 131–136 (1995)
2. Alexandru, A., Ciobanu, G.: Abstract interpretations in the framework of invariant sets. Fundamenta Informaticae 144(1), 1–22 (2016)
3. Back, R.J.R., von Wright, J.: Reasoning algebraically about loops. Acta Inf. 36(4), 295–334 (1999)
4. de Bakker, J.W.: Semantics and termination of nondeterministic recursive programs. In: Michaelson, S., Milner, R. (eds.) ICALP 1976, pp. 435–477. Edinburgh University Press (1976)
5. Broy, M., Gnatz, R., Wirsing, M.: Semantics of nondeterministic and noncontinuous constructs. In: Bauer, F.L., Broy, M. (eds.) Program Construction. LNM, vol. 69, pp. 553–592. Springer, Heidelberg (1979). https://doi.org/10.1007/BFb0014683