Verzeichnis macros/latex/contrib/lsc

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.

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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).

Paket	lsc
Lizenzen	The LaTeX Project Public License
Copyright	2005–2006 Bernd Westphal
Betreuer	Bernd Westphal
Enthalten in	TeX Live als lsc MiKTeX als lsc
Themen	Computernetze