CSL

Klaus Nökel, Klaus Winkelmann. CSL. In Claus Lewerentz, Thomas Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell. Volume 891 of Lecture Notes in Computer Science, pages 55-74, Springer, 1995.

Abstract

Abstract is missing.