Towards a Second Generation of Formal Description Techniques – Rationale for the Design of E-LOTOS

@inproceedings{Garavel1998TowardsAS,
  title={Towards a Second Generation of Formal Description Techniques – Rationale for the Design of E-LOTOS},
  author={Hubert Garavel and Mihaela Sighireanu},
  year={1998}
}
Process algebras are often advocated as suitable formalisms for the specification of telecommunication protocols and distributed systems. However, despite their mathematical basis, despite standardization attempts (most notably the Formal Description Technique Lotos), and despite an ever growing number of successful case-studies, process algebras have not yet reached a wide acceptance in industry. On the other hand, description languages such as Promela or Sdl are quite popular, although they… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

A Generic Formal Framework For Constructing Agent Interaction Protocols

International Journal of Software Engineering and Knowledge Engineering • 2005
View 4 Excerpts
Highly Influenced

Revisiting sequential composition in process calculi

J. Log. Algebr. Meth. Program. • 2015
View 1 Excerpt

References

Publications referenced by this paper.

Programming in Modula-2

Texts and Monographs in Computer Science • 1985

Similar Papers

Loading similar papers…