An Upward Compatible Timed Extension to LOTOS

  title={An Upward Compatible Timed Extension to LOTOS},
  author={Guy Leduc},
We propose a timed extension of LOTOS, denoted TLOTOS, which is upward compatible with the standard LOTOS. It means first that a timed behaviour expression which does not use any language extension will have the same semantics as in standard LOTOS. In addition, we have pushed this upward compatibility one step beyond by requiring and obtaining that all the familiar equivalence laws of standard LOTOS be preserved, e.g. B [] B ~ B, B [] stop ~ B. This is needed in order to keep the intuition of a… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 35 references


G. Leduc, On the design, properties of TLOTOS, Rept. No. S.A.R.T
Université de Liège, Dept. Systèmes et Automatique, B28, 4000 Liège, Belgium, May • 1991
View 9 Excerpts
Highly Influenced


A. Azcorra-Saloña, Formal Modeling of Synchronous Systems, Ph. D. Thesis, ETSI Telecomunicación, Universidad Politécnica de Madrid
Nov. • 1990
View 4 Excerpts
Highly Influenced

Bisimulation and action refinement

D. Weber-Wulff.
Theoretical Computer Science • 1993

Selling formal methods to industry

C. Tully, A. Willey.

A protocol for multirendezvous of LOTOS processes

L. Svobodova.
IEEE Transactions on Computers • 1991

Similar Papers

Loading similar papers…