Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Mendler, MichaelMichaelMendler2019-09-192014-09-242002https://fis.uni-bamberg.de/handle/uniba/9824engAxiomatizing an algebra of step reactions for synchronous languagesconferenceobject