Menu
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory 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

Down­load the con­tents of this pack­age in one zip archive (200.6k).

lsc – Type­set­ting Live Se­quence Charts

This pack­age is sim­i­lar to the msc pack­age in that it pro­vides macros for type­set­ting a vari­ant of se­quence di­a­grams, in this case the Live Se­quence Charts of Damm and Harel.

The pack­age sup­ports the full LSC lan­guage of the orig­i­nal LSC pa­per, the Klose-ex­ten­sions for for­mal ver­i­fi­ca­tion and some of the Harel-ex­ten­sions for the Play-In/Play-Out ap­proach (cf. the man­ual).

Doc­u­men­ta­tion
Li­censeThe LaTeX Project Public Li­cense
Copy­right2005-2006 Bernd West­phal
Main­tainerBernd West­phal
Con­tained inTeXlive as lsc
MikTeX as lsc
Topics type­set com­puter net­work con­cepts
Guest Book Sitemap Contact 2014-04-23 19:24 CEST