Concurrent processes


CADP toolbox


2013年4月23日 18:37



The World Wide Web Consortium (W3C)

The Internet Engineering Task Force (IETF)

RFC 793 - Transmission Control Protocol

RFC 1180 - TCP/IP tutorial

Protocols for WAN, LAN, ATM data communications and telecommunications

Voice Over IP Reference Page

●Concurrent processes:references

Systems and Software Verification (Model-Checking Techniques and Tools)
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
2001, XII, 190 pp. 67 figs., Hardcover ISBN: 3-540-41523-8 , Springer-Verlag

Cellular Automata Machines (A New Environment for Modeling)
Tommaso Toffoli and Norman Margolus
Cloth / April 1987 , ISBN: 0-262-20060-0, The MIT Press

Cellular Automata and Complexity: Collected Papers
Stephen Wolfram, 1994: ISBN 0-201-62716-7,

Petri Nets World

Petri Nets : Properties, Analysis and Applications
T.Murata : Proc.IEEE,Vol.77, No.4, pp.541-580 (1989). abstract

Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use , Vol.1, Basic Concepts
KurtJensen, 2nd ed. 1996. 2nd corr. printing, 1997, XII, 234 pp. 84 figs., Hardcover
ISBN: 3-540-60943-1 Springer-Verlag

A Calculus of Communicating Systems
R. Milner, 1982, ISBN:0387102353 , Springer-Verlag

Communicating Sequential Processes
C.A.R. Hoare, Prentice-Hall, 1985.

Model Checking
Edmund M. Clarke, Orna Grumberg and Doron A. Peled
Cloth / January 2000 , ISBN: 0-262-03270-8, The MIT Press


::Reference definition::

ISO International Standard 8807:1989
Information processing systems - Open Systems Interconnection -
LOTOS - A formal description technique based on the temporal ordering of observational behaviour
Geneva, September 1989
An annex of the LOTOS standard provides a user-friendly tutorial.

::Books and Papers::

Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL
Kenneth J. Turner , John Wiley, 1993, 431 pages , ISBN 0-471-93455-0

Introduction to the ISO Specification Language LOTOS(local copy)
Tommaso Bolognesi and Ed Brinksma
Computer Networks and ISDN Systems 14(1) 25-59, January 1987, 66 pages

An Introduction to LOTOS: Learning by Examples (local copy)
L. Logrippo, M. Faci, M. Haj-Hussein
Computer Networks and ISDN Systems 23(5) 325-342
Errata in 25(1) 99-100, 1999, 34 pages

::Related Web sites::

World-wide Environment for Learning LOTOS (WELL) ̄kjt/research/well/

University of Twente (The Netherlands)

University of Ottawa (Canada)

University of Helsinki (Finland)

●CADP toolbox:references

CADP (Caesar/Aldebaran Development Package)
A Software Engineering Toolbox for Protocols and Distributed Systems

CADP installation guide

RedHat japan


Ghostscript, Ghostview and GSview ̄ghost/


Copyright(c) Katsumi Wasaki. All rights reserved.