Höfner, Peter Algebraic calculi for hybrid systems. (English) Zbl 1237.68010 Norderstedt: Books on Demand; Augsburg: Univ. Augsburg, Fakultät für Angewandte Informatik (ISBN 978-3-8391-2510-6/hbk). x, 204 p. (2009). Reviewer: Kim Solin (Uppsala) MSC: 68-02 68N30 68Q60 68Q55 08A70 03B70 PDFBibTeX XMLCite \textit{P. Höfner}, Algebraic calculi for hybrid systems. Norderstedt: Books on Demand; Augsburg: Univ. Augsburg, Fakultät für Angewandte Informatik (2009; Zbl 1237.68010) Full Text: Link
Höfner, Peter; Möller, Bernhard Algebraic neighbourhood logic. (English) Zbl 1142.03036 J. Log. Algebr. Program. 76, No. 1, 35-59 (2008). MSC: 03G25 03B44 03B70 PDFBibTeX XMLCite \textit{P. Höfner} and \textit{B. Möller}, J. Log. Algebr. Program. 76, No. 1, 35--59 (2008; Zbl 1142.03036) Full Text: DOI Link