Burkhard, H.-D.H.-D.BurkhardCzaja, L.L.CzajaLindemann, G.G.LindemannPenczek, W.W.PenczekSalwicki, A.A.SalwickiSchlingloff, H.H.SchlingloffSuraj, Z.Z.Suraj2022-03-102022-03-102006https://publica.fraunhofer.de/handle/publica/3527482-s2.0-33747070494en004006Concurrency Specification and Programming (CS&P)conference paper