References

■References

Overview

Concurrent processes

LOTOS

CADP toolbox

 

2013年4月23日 18:37

 

●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/

 

 

 

wasaki@cs.shinshu-u.ac.jp
Copyright(c) Katsumi Wasaki. All rights reserved.