LOTOS FTP Server

Directory /pub/Lotos/Examples

• Alternate Bit Protocol by Djaffar Gueraichi (PRG/UofO)
• Alternate Bit Protocol: a simpler specification by Diane Boulanger, modified by Hans Van Der Schoot, TSERG/UofO (Nov 1991)
• A specification of a Gaz Burner by Rezki Boumezbeur; one Constraint-Oriented and one Unstructured
• An Improved Type Definitions For Integers by Mazen Haj-Hussein (see also the corresponding PostScript documentation)
• LAP-B by Djaffar Gueraichi (PRG/UofO)
• LAP-B by Martin Dubuc (Universite de Montreal), an enhanced version
• A Sample Telephone System by Rezki Boumezbeur, part of his Master's Thesis (see also Specification and Validation of Telephone System by Logrippo & Boumezbeur)
• Semaphores by Djaffar Gueraichi (PRG/UofO)
• Sliding Window Protocol
• Plain Old Telephone System (POTS) by L.Logrippo, M.Faci & B.Stepien (see also Faci, M., Logrippo, L., and Stepien, B. Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Approach. Computer Networks and ISDN Systems 21 (1991) 53-67.
• X.25-DTE_TestCases.l by Martin Dubuc, UdeM