The UofO LOTOS Research Group
Introduction to LOTOS
Directory Introduction suggests introductory material on LOTOS.
-
Introduction to the ISO Specification
Language LOTOS,
by Tommaso Bolognesi (CNUCE-C.N.R.) and Ed Brinksma (University of Twente),
Computer Networks and ISDN Systems 14 (1) (1987) 25-59.
-
Specification Styles in Distributed Systems Design and
Verification,
by Chris A. Vissers, Giuseppe Scollo, Marten
van Sinderen and Ed Brinksma, Theoretical Computer Science 89
(1991) 179-206
(PDF and
MS-Word)
-
From the
publications of
Kenneth J. Turner: The Formal Specification Language LOTOS: A Course For
Users. Department of Computing Science and Mathematics, University of
Stirling, Scotland, August 1989.
(PDF and
PostScript)
-
Elsewhere on this site, the Papers section
includes, among others:
Logrippo, L., Faci, M., and Haj-Hussein, M.
"An Introduction to LOTOS:
Learning by Examples."
Computer Networks and ISDN Systems 23(5) (1992) 325-342. Errata
in 25(1) (1992) 99-100.
-
Notes of
CSI5109, Specification Methods for Distributed
Systems by Luigi Logrippo.
Not exactly introductory material but surely informative:
Go 
Go 
Help on 
