Algebras and Formal Languages

  • K. Tarnay


ISO has developed two formal description techniques, LOTOS and ESTELLE, for communication purposes. Both are composed of a mathematical model and language elements. The LOTOS model is based on the Calculus of Communicating Systems (CCS). This section deals with the fundamental notions and basic elements of the CCS and gives an introduction to its syntax, semantics and algebraic structure. Finally an example demonstrates how the CCS can be used for protocol specification.


Behaviour Expression Production Rule Behaviour Tree Operation Symbol Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Katie Tarnay 1991

Authors and Affiliations

  • K. Tarnay
    • 1
  1. 1.Central Research Institute for PhysicsBudapestHungary

Personalised recommendations