Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems

Harald-Reto Fonio. Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. In ADT. 1988.

Abstract

Abstract is missing.