An Introduction to LOTOS: Learning by Examples

Abstract An informal, design-oriented introduction to the specification language for distributed systems LOTOS is presented. Examples based on variations of the well-known producer-consumer problem are used to illustrate the different aspects of the language.

[1]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[2]  Son T. Vuong,et al.  Introduction to Algebraic Specifications Based on the Language ACT ONE , 1992, Comput. Networks ISDN Syst..

[3]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[4]  Marten van Sinderen,et al.  On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract) , 1989, TAPSOFT, Vol.2.

[5]  Joseph Sifakis,et al.  Compilation and verification of LOTOS specifications , 1990, PSTV.

[6]  Dieter Hogrefe,et al.  Estelle, LOTOS und SDL , 1989 .

[7]  Vijay Varadharajan.  Use of a formal description technique in the specification of authentication protocols , 1990 .

[8]  Luigi Logrippo,et al.  Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach , 1991, Comput. Networks ISDN Syst..

[9]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  Kenneth J. Turner,et al.  Constraint-Oriented Style in LOTOS , 1988 .

[12]  Marten van Sinderen,et al.  Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..

[13]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[14]  Robert E. Milne,et al.  The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[15]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[16]  Luigi Logrippo,et al.  An interpreter for LOTOS, a specification language for distributed systems , 1988, Softw. Pract. Exp..