The suspension-loop construction is used to define a process in a symmetric monoidal
category. The algebra of such processes is that of symmetric monoidal bicategories …

We have shown that a natural algebraic structure on Span (Graph) allows the compositional
specification of concurrent systems. Hoare's parallel operation appears as a derived …

The compact closed bicategory Span of spans of reflexive graphs is described and it is
interpreted as an algebra for constructing specifications of concurrent systems. We describe …

In this paper, we propose a new and elegant definition of the class of recursive functions,
which is analogous to Kleene's definition but differs in the primitives taken, thus …

In this paper we describe a general categorical model of asynchronous circuits exible
enough to describe various paradigms of communication between circuit elements {each …