Translating Erlang to μCRL

  1. Arts, T.
  2. Earle, C.B.
  3. Penas, J.J.S.
Proceedings:
Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

ISBN: 9780769520773

Year of publication: 2004

Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

Pages: 135-144

Type: Conference paper

DOI: 10.1109/CSD.2004.1309124 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus