✦ LIBER ✦

A framework for pathologies of message sequence charts

✍ Scribed by Haitao Dan; Robert M. Hierons; Steve Counsell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

The formalization of Message Sequence Ch

✍ S. Mauw 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 926 KB

Regular sets of infinite message sequenc

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

Pattern Matching and Membership for Hier

✍ Blaise Genest; Anca Muscholl 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 704 KB

Formal Techniques for Analysing Scenario

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

An Algorithm for Checking the Time Consi

✍ A.B. Godlevskii; M.V. Lopatina; S.N. Svirgunenko 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 69 KB