Comprehensive TeX Archive Network

lsc – Typesetting Live Sequence 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).

Sources /macros/latex/contrib/lsc
Li­cense The Project Public Li­cense
Copy­right 2005–2006 Bernd West­phal
Main­tainer Bernd West­phal
Con­tained in TeX Live as lsc
MiKTeX as lsc
Topics type­set com­puter net­work con­cepts

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

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author