Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions

A complete calculus for the multialgebraic and functional semantics of nondeterminism

ACM Transactions on Programming Languages and Systems (TOPLAS)

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)

A functorial semantics for multi-algebras and partial algebras, with applications to syntax

Theoretical Computer Science

Structured specifications and implementation of nondeterministic data types

Nordic Journal of Computing

Computation Algebras

Mathematical Structures in Computer Science

Quantifier-free logic for nondeterministic theories

Theoretical Computer Science - Logic, language, information and computation

Bireachability and final multialgebras

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