Translating Erlang to μCRL

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

ISBN: 9780769520773

Año de publicación: 2004

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

Páginas: 135-144

Tipo: Aportación congreso

DOI: 10.1109/CSD.2004.1309124 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus