name lsc
category Package
revision 15878
shortdesc Typesetting Live Sequence Charts.
relocated 1
longdesc This package is similar to the msc package in that it provides
longdesc macros for typesetting a variant of sequence diagrams, in this
longdesc case the Live Sequence Charts of Damm and Harel. The package
longdesc supports the full LSC language of the original LSC paper, the
longdesc Klose-extensions for formal verification and some of the Harel-
longdesc extensions for the Play-In/Play-Out approach (cf. the manual).
runfiles size=16
 RELOC/bibtex/bib/lsc/lsc.bib
 RELOC/tex/latex/lsc/lsc.sty
catalogue-ctan /macros/latex/contrib/lsc
catalogue-date 2012-07-16 18:45:50 +0200
catalogue-license lppl