Rajeev Alur, Gerard Holzmann, and Doron Peled. An analyzer for message sequence charts. Software: Concepts and Tools, 17:70-77, 1996. also appeared in TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, LNCS 1055, Springer-Verlag, 1996, 35-48.  Home/Search   Document Not in Database   Summary   Related Articles

....assumption, reading c must occur before reading d. Anyway, our approach is based on the visual order semantics, but (with some modi cations) it also works wrt. the causal order semantics. There has been a lot of e ort for analysing, specifying, verifying, and synthesising message passing systems [20, 21, 3, 18, 2, 10, 17, 16, 2, 9, 15, 1, 8]. However, most of the work was carried out for a xed communication medium. But channels can be designed in a FIFO manner, they can behave as a stack or as a multiset, and may have a xed capacity or not. They can be reliable or lossy. From the practical point of view, all types of channels are ....

Rajeev Alur, Gerard Holzmann, and Doron Peled. An analyzer for message sequence charts. Software: Concepts and Tools, 17:70-77, 1996. also appeared in TACAS'96, Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, LNCS 1055, Springer-Verlag, 1996, 35-48.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC