文档介绍：Synchronization and Linearity
An Algebra for Discrete Event Systems
Franc¸ois elli
INRIA
and
Ecole´ Normale Sup´erieure, D´epartement d’Informatique
Paris, France
Guy Cohen
Ecole´ Nationale des Ponts et Chauss´ees-CERMICS
Marne la Vall´ee, France
and
INRIA
Geert Jan Olsder
Delft University of Technology
Faculty of Technical Mathematics
Delft, herlands
Jean-Pierre Quadrat
Institut National de la Recherche en Informatique et en Automatique
INRIA-Rocquencourt
Le Chesnay, France
Preface to the Web Edition
Thefirst edition of this book was published in 1992 by Wiley (ISBN 0 471 93609 X).
Since this book is now out of print, and to answer the request of several colleagues,
the authors have decided to make it available freely on the Web, while retaining the
copyright, for the benefit of the munity.
Copyright Statement
This electronic document is in PDF format. One needs Acrobat Reader (available
freely for most platforms from the Adobe web site) to benefit from the full interactive
machinery: using the package hyperref by Sebastian Rahtz, the table of contents
and all LATEXcross-references are automatically converted into clickable hyperlinks,
bookmarks are generated automatically, etc.. So, do not hesitate to click on references
to equation or section numbers, on items of thetableofcontents and of the index, etc..
One may freely use and print this document for one’s own purpose or even dis-
tribute it freely, but mercially, provided it is distributed in its entirety and
without modifications, including this preface and copyright statement. Any use of
thecontents should be acknowledged according to the standard scientific practice. The
authors will appreciate receiving ments by e-mail or other means; all modifica-
tions resulting from ments in future releases will be adequately and gratefully
acknowledged.
About This and Future Releases
We have taken the opportunity of this electronic edition to make corrections of mis-