Translating Erlang to /spl mu/CRL

@article{Arts2004TranslatingET,
  title={Translating Erlang to /spl mu/CRL},
  author={Thomas Arts and C. B. Earle and J.J.S. Penas},
  journal={Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.},
  year={2004},
  pages={135-144}
}
The language Erlang has been developed by Ericsson to implement large switching systems. Erlang is nowadays used by several companies for complex embedded systems. The language /spl mu/CRL is a process algebra with data. Several verification tools are available for /spl mu/CRL and other process algebras, including a tool to create labelled transition systems from /spl mu/CRL specifications. By having a translation from Erlang to /spl mu/CRL we can apply the verification tools for process… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…