|
| 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," 2010 10th International Conference on Application of Concurrency to System Design, 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 ={2010 10th International Conference on Application of Concurrency to System Design}, 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 - 2010 10th International Conference on Application of Concurrency to System Design 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 - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
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.