Index of /macros/latex/contrib/lsc

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]lsc.bib23-Feb-2006 12:57 3.4K 
[   ]lsc.pdf23-Feb-2006 12:57 192K 
[TXT]lsc.sty23-Feb-2006 12:57 58K 
[   ]lsc.tex23-Feb-2006 12:57 95K 

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
for the details of that license.