(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications

Rolf Hennicker, Alexander Kurz. (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. Electronic Notes in Theoretical Computer Science, 19:164-180, 1999. [doi]

Abstract

Abstract is missing.