Author:
Desharnais Jules,Möller Bernhard
Publisher
Springer International Publishing
Reference18 articles.
1. Berghammer, R., Haeberer, A., Schmidt, G., Veloso, P.: Comparing two different approaches to products in abstract relation algebra. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993, pp. 167–176. Springer, Heidelberg (1993). https://doi.org/10.1007/978-1-4471-3227-1_16
2. Berghammer, R., von Karger, B.: Relational semantics of functional programs. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computing Science, pp. 115–130. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-7091-6510-2_8
3. Dang, H.-H., Höfner, P., Möller, B.: Algebraic separation logic. J. Logic Algebraic Program. 80(6), 221–247 (2011)
4. Lecture Notes in Computer Science;H-H Dang,2012
5. Desharnais, J., Möller, B., Struth, G.: Modal Kleene algebra and applications – a survey. J. Relational Methods Comput. Sci. 1, 93–131 (2004)