A Formal Semantics for Traffic Sequence Charts

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow. A Formal Semantics for Traffic Sequence Charts. In Marten Lohstroh, Patricia Derler, Marjan Sirjani, editors, Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Volume 10760 of Lecture Notes in Computer Science, pages 182-205, Springer, 2018. [doi]

Abstract

Abstract is missing.