loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Translating Erlang to μCRL
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
ASCII Text
x 
 
Thomas Arts, Clara Benac Earle, Juan Jos? S?nchez Penas, "Translating Erlang to μCRL," Application of Concurrency to System Design, International Conference on, pp. 135, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309124,
author = {Thomas Arts and Clara Benac Earle and Juan Jos? S?nchez Penas},
title = {Translating Erlang to μCRL},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {135},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309124},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Translating Erlang to μCRL
SN - 0-7695-2077-4
SP
EP
A1 - Thomas Arts,
A1 - Clara Benac Earle,
A1 - Juan Jos? S?nchez Penas,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Thomas Arts, IT University of Gothenburg, Sweden
Clara Benac Earle, University of Kent, Canterbury, UK
Juan Jos? S?nchez Penas, University of Corunha, Spain
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 μCRL is a process algebra with data. Several verification tools are available for μCRL and other process algebras, including a tool to create labelled transition systems from μCRL specifications. By having a translation from Erlang to μCRL 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.
Citation:
Thomas Arts, Clara Benac Earle, Juan Jos? S?nchez Penas, "Translating Erlang to μCRL," acsd, pp.135, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.