Translating Erlang to muCRL

Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez (2004) Translating Erlang to muCRL. In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada.

Postscript
Download (150Kb)	Preview
PDF
Download (132Kb)	Preview

Abstract

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 muCRL is a process algebra with data. Several verification tools are available for muCRL and other process algebras, including a toot to create labelled transition systems from muCRL specifications. By having a translation from Erlang to muCRL we can apply the verification tools for process algebras and labelled transition systems to industrial code. The translation is aware of the major design component in the switching software. This knowledge is used to ensure that the size of the labelled transition system generated by the tools is smaller than with a naive translation.

Item Type:	Conference or workshop item (Paper)
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User:	Mark Wheadon
Date Deposited:	24 Nov 2008 18:02
Last Modified:	06 Sep 2011 01:24
Resource URI:	http://kar.kent.ac.uk/id/eprint/14140 (The current URI for this page, for reference purposes)

• Depositors only (login required):