CTAN Comprehensive TeX Archive Network

CTAN has a new package: lsc

Date: February 23, 2006 10:11:35 AM CET
A new package has been installed at tug.ctan.org and should soon make its way to your favorite mirror. Thanks again, Jim Hefferon ====================================================================== The following information was provided by the package's contributor. Name of contribution: lsc Author's name: Bernd Westphal Location on CTAN: /macros/latex/contrib/lsc Summary description: Typesetting Live Sequence Charts License type: lppl Announcement text given by the package's contributor:
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).
See this package at http://tug.ctan.org/tex-archive/macros/latex/contrib/lsc . You may get a better network connection by using a CTAN mirror near to you; see http://tug.ctan.org/tex-archive/README.mirrors . Our service is supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .

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
Copyright2005–2006 Bernd Westphal
MaintainerBernd Westphal

Announcements

more

Guest Book Sitemap Contact Contact Author