The Banach-Stone theorem states that any surjective, linear mapping T between spaces of continuous functions that satisfies ‖T (f)− T (g)‖ = ‖f − g‖, where ‖ · ‖ denotes the uniform norm, is a weighted composition operator. We study a multiplicative analogue, and demonstrate that a surjective mapping T , not necessarily linear, between algebras of continuous functions with ‖T (f)T (g)‖ = ‖fg‖ m...

We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified with these operators, but can be specified if we add the parallel composition operator without communication (free merge). The bounded queue cannot even be specified in this signature; we need a form of variable bindi...