R. de Simone and D. Vergamini. Aboard auto. Rapports Techniques 111, INRIA Sophia Antipolis, 1989.  Home/Search   Document Not in Database   Summary   Related Articles

....of Meije that corresponds to the CCS process algebra, following R. Milner [31] Moreover, we adopt the syntax used in the Auto Mauto tools (see section 5) and restrict it to their rules to guarantee the satisfiability of some finitary conditions of the underlying semantic model, namely automata [15]. The Meije Syntax: The Meije syntax is based on a set of actions that processes can perform and on a set of operators expressing process behaviors and process combinations. The Auto Mauto CCS Meije syntax permits a two layered design of process terms: the first level is related to the ....

....Examples ACTL Properties in Natural Language Properties expressed AUTOGRAPH MAUTO PISATOOL Figure 0.2: The integration project several output formats in which a graphical specification can be translated, including Fc2, the Mauto syntax for terms and Postscript. Auto Mauto (INRIA) Mauto [15] (a generalisation of Auto) is a tool for both the specification and the verification for concurrent systems described by process algebrae. Actually Mauto can deal with Meije [1] CCS [31] LOTOS [25] and Esterel [3] process algebrae (while Auto was just designed for the first two) Mauto is a ....

R. de Simone and D. Vergamini. Aboard auto. Rapports Techniques 111, INRIA Sophia Antipolis, 1989.

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