Directory tex-archive/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.
Files
| Name | Size | Date | Notes |
|---|---|---|---|
README |
538 | 2006-02-23 01:55:00 | |
lsc.bib |
3528 | 2006-02-23 01:57:00 | |
lsc.pdf |
196507 | 2006-02-23 01:57:00 | |
lsc.sty |
59141 | 2006-02-23 01:57:00 | |
lsc.tex |
97020 | 2006-02-23 01:57:00 |
Download the complete
contents of this directory 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).
| Documentation |
Readme Package documentation |
| License | The LaTeX Project Public License |
| Copyright | 2005-2006 Bernd Westphal |
| Maintainer | Bernd Westphal |
| Contained in | TeXLive as lsc |
| MiKTeX as lsc | |
| Topics |
typeset computer network concepts |