CTAN Comprehensive TeX Archive Network

lsc – Typesetting Live Sequence Charts

This package is similar to the msc package in that it provides macros for typesetting a variant of sequence diagrams, in this case the Live Sequence Charts of Damm and Harel.

The package supports the full LSC language of the original LSC paper, the Klose-extensions for formal verification and some of the Harel-extensions for the Play-In/Play-Out approach (cf. the manual).

LicensesThe Project Public License
Copyright2005–2006 Bernd Westphal
MaintainerBernd Westphal
Contained inTeX Live as lsc
MiKTeX as lsc
TopicsComp net

Download the contents of this package in one zip archive (200.6k).

Community Comments



Here you can see a respective diagram in newer browsers.


Guest Book Sitemap Contact Contact Author