✦ LIBER ✦

The formalization of Message Sequence Charts

✍ Scribed by S. Mauw

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalizing and Executing Message Sequen

✍ P. Kosiuczenko; M. Wirsing 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 56 KB

Formal Techniques for Analysing Scenario

✍ Purandar Bhaduri; R. Venkatesh; Girish K. Palshikar 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Compositional message sequence charts

✍ Elsa L. Gunter; Anca Muscholl; Doron Peled 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 367 KB

Semantics of Timed Message Sequence Char

✍ A.A. Letichevskii; Yu.V. Kapitonova; V.P. Kotlyarov; A.A. Letichevskii; V.A. Vol 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 61 KB

Regular sets of infinite message sequenc

✍ Dietrich Kuske 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 363 KB

LSCs: Breathing Life into Message Sequen

✍ Werner Damm; David Harel 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 258 KB