Axiomatizing an Algebra of Step Reactions for Synchronous Languages.

Gerald Lttgen, Michael Mendler

Browse the full CONCUR paper archive.