R. de Simone. Calculabilit'e et Expressivit'e dans l'Alg`ebre de Processus Parall`eles MEIJE. PhD thesis, Th`ese de 3eme cycle, Universit'e de Paris VII, 1984.  Home/Search   Document Not in Database   Summary   Related Articles

....has, compared to the bulk of the applications, attracted little attention. Apart from some comparative studies between SOS and differently formalized computational models, e.g. BD92, BD93] a small number of formats for transition system specifications have been proposed in the literature, [Sim84, BIM88, GV92, Gro90, Fok93], viz. so called De Simone, GSOS, tyft tyxt, ntyft ntyxt and tree rule format, respectively. Main questions studied are the bisimulation and complete trace congruences induced by the type of transition system specifications. In the present paper we propose yet another format for transition system ....

....technical nature. See the discussion following Theorem 4.8. Example 3.6 The transition system specification T bpa over the single sorted signature Sigma bpa of Example 2.2 is in stalk format. The only stalk involved is the empty context. In fact, T bpa is in the so called De Simone format of [Sim84], which is a special subcase of a transition system specification in stalk format. See Section 5. Example 3.7 For a more illustrative example we turn to a simple uniform language with process creation. This language is a prominent example of an (abstract) imperative programming language, for ....

[Article contains additional citation context not shown here]

R. de Simone. Calculabilit'e et Expressivit'e dans l'Alg`ebre de Processus Parall`eles MEIJE. PhD thesis, Th`ese de 3eme cycle, Universit'e de Paris VII, 1984.

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