[L3] ================================================ AMAST Links 02 03

    Book: Construction and analysis of transition systems with MEC
                   A. Arnold, D. Begay, P. Crubille'

   AMAST Series in Computing, Volume 3, 1995, ISBN 981-02-1922-9
   World Scientific, Singapore.
   192 pages, price: US$ 42.
   Order information: see [AL0203S1].

  This book explains how to model and to verify systems of processes
using the mathematical formalism of synchronized product of transition
systems and presents several examples of modeling and verification
covering various domains: games, industrial processes, communication
protocols, etc.
  These examples are worked out using the "MEC" software tool. This
book is also intended to be an introduction to this tool which is
described  in full details.

  *Authors' Address:* 
   LaBRI, Universite' Bordeaux I
   351 cours de la Liberation, F-33405 Talence, France
   e-mail: <name>@labri.u-bordeaux.fr