An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic