An Algebraic Characterisation of Concurrent Composition
  We give an algebraic characterization of a form of synchronized parallel composition allowing for true concurrency, using ideas based on Peter Landin's "Program-Machine Symmetric Automata Theory". 
Samson Abramsky
cs.LO