CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/lsc

README
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.

It 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).

This material is subject to the LaTeX Project Public License. See
http://www.ctan.org/tex-archive/help/Catalogue/licenses.lppl.html
for the details of that license.

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

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).

Packagelsc
LicensesThe Project Public License
Copyright2005–2006 Bernd Westphal
MaintainerBernd Westphal
Contained inTeX Live as lsc
MiKTeX as lsc
TopicsComp net
...
Guest Book Sitemap Contact Contact Author