Proposals for LOTOS Enhancements

This directory holds documents proposing enhancements to the LOTOS specification language.

The documents present at this time are:

Task 1.4 Deliverable on Language Enhancements
editor Ed Brinksma (Task 1.4), Apr 92
Structuring Protocols using Exceptions in a LOTOS Extension
Department of Telematic Systems Engineering (DIT)
Universidad Politecnica de Madrid (UPM), Spain
Timed LOTOS Definition: LOTOS-T
Department of Telematic Systems Engineering (DIT)
Universidad Politecnica de Madrid (UPM) Spain
TIC: A TImed Calculus
Department of Telematic Systems Engineering (DIT)
Universidad Politecnica de Madrid (UPM) Spain

Go Go Help on