Theory of Computation over Stream Algebras, and its Applications

Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Streams, Stream Transformers and Domain Representations

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Abstract versus concrete computation on metric partial algebras

ACM Transactions on Computational Logic (TOCL)

An algebraic framework for verifying the correctness of hardware with input and output: a formalization in HOL

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

CARTESIAN STREAM TRANSFORMER COMPOSITION

Fundamenta Informaticae