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

Ano de publicación: 2004

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

Páxinas: 135-144

Tipo: Achega congreso

DOI: 10.1109/CSD.2004.1309124 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus