keywords Mathematics Mathematics, Applied Physical Sciences Science & Technology analog computing computing on streams many-sorted algebras stream operators synchronous concurrent algorithms topological algebras