●Overview:references
The World Wide Web Consortium (W3C)
http://www.w3.org/
The Internet Engineering Task Force (IETF)
http://www.ietf.org/home.html
RFC 793 - Transmission Control Protocol
http://www.faqs.org/rfcs/rfc793.html
RFC 1180 - TCP/IP tutorial
http://www.faqs.org/rfcs/rfc1180.html
Protocols for WAN, LAN, ATM data communications and telecommunications
http://www.protocols.com/
Voice Over IP Reference Page
http://www.protocols.com/pbook/VoIP.htm
●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, StephenWolfram.com
Petri Nets World
http://www.daimi.au.dk/PetriNets/
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.
http://www.usingcsp.com/cspbook.pdf
Model
Checking
Edmund M. Clarke, Orna Grumberg and Doron A. Peled
Cloth / January 2000 , ISBN: 0-262-03270-8, The
MIT Press
●LOTOS:references
::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)
http://www.cs.stir.ac.uk/ ̄kjt/research/well/
University of Twente (The Netherlands)
http://wwwtios.cs.utwente.nl/lotos/
University of Ottawa (Canada)
http://lotos.site.uottawa.ca/ftp/pub/Lotos/
University of Helsinki (Finland)
http://www.cs.helsinki.fi/research/moco/lotos.html
●CADP toolbox:references
CADP (Caesar/Aldebaran Development Package)
A Software Engineering Toolbox for Protocols and Distributed Systems
http://www.inrialpes.fr/vasy/cadp/
CADP installation guide
http://www.inrialpes.fr/vasy/cadp/installator.html
RedHat japan
http://www.jp.redhat.com/
TurboLinux
http://www.turbolinux.co.jp/
Ghostscript, Ghostview and GSview
http://www.cs.wisc.edu/ ̄ghost/
VMware
http://www.vmware.com/
|