Classes of finite relations as initial abstract data types I

Dynamic connectors for concurrency

Theoretical Computer Science

Normal forms for algebras of connections

Theoretical Computer Science

Normal Forms for Partitions and Relations

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

Axiomatization of the Coherence Property for Categories of Symmetries

FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory