One Hat Cyber Team

Your IP : 216.73.216.115

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : lsc.tlpobj

name lsc
category Package
revision 15878
shortdesc Typesetting Live Sequence Charts
longdesc This package is similar to the msc package in that it provides
longdesc macros for typesetting a variant of sequence diagrams, in this
longdesc case the Live Sequence Charts of Damm and Harel. The package
longdesc supports the full LSC language of the original LSC paper, the
longdesc Klose-extensions for formal verification and some of the
longdesc Harel-extensions for the Play-In/Play-Out approach (cf. the
longdesc manual).
containersize 14224
containerchecksum f61d81a49c25972e03120cbf6557d356d6df6937af6e0443e47305312485217b6bb5c0818adf248fb860ec5d42c07fc22fdc0c54f9dd1f3bdcb12486350316da
doccontainersize 187204
doccontainerchecksum 5d0550421ee0657c378cc1ad8159e16e43644f533e3d8a013d917c494bbb8d11cba79b99fcaa7bdcf8ef5f5deb88d144ed64d75a5682fe4c4187c60c634297f5
runfiles size=16
 texmf-dist/bibtex/bib/lsc/lsc.bib
 texmf-dist/tex/latex/lsc/lsc.sty
catalogue-ctan /macros/latex/contrib/lsc
catalogue-license lppl
catalogue-topics comp-net