The authors have introduced in [KSW97a], KSW97b] two complementary algebras for systems with boundaries. The first is loops in the suspension of a monoidal category ⊗) , (C , denoted ⊗)) , ( Σ ( Ω C , an algebra of deterministic systems in which the natural feedback operation has delay. The second is Span(Graph), an algebra of specifications of systems (nondeterministic transition systems), w...