LOTOS Information Sources and Projects

• LOTOS (and related) tools
• Tommaso Bolognesi's papers
• Hendrik (Ed) Brinksma's papers
• E-LOTOS mail list
• Peter van Eijk's publications
• ERIL system and LOTOS project
• EUCALYPTUS2 EC-CAN065 LOTOS Protocol Tool Set
• FORMOSA (Formalisation of ODP Systems Architecture)
• French-Romanian Contributions to the Definition of E-LOTOS
• Christian Hernalsteen's page
• Guy Leduc's papers
• LOTOS and E-LOTOS information in Liege, Belgium
• E-LOTOS papers in Madrid
• LOTOS information in Madrid
• LOTOS information in Magdeburg, Germany
• LOTOS information in Ottawa
• Charles Pecheur's papers
• ROOA (Rigorous Object Oriented Analysis with LOTOS)
• SPLICE I (Specification using LOTOS for an Interactive Customer Environment, Phase I)
• LOTOS information in Rome
• LOTOS information sources by Surekha Ghantasala
• Ken Turner's WELL - World-Wide LOTOS, papers and some LOTOS utilities
• LOTOS information in Twente

This page is part of MOCO home page.