Rule formats for nominal process calculi

  1. Aceto, L.
  2. Fábregas, I.
  3. García-Pérez, A.
  4. Ingólfsdóttir, A.
  5. Ortega-Mallén, Y.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959770484

Año de publicación: 2017

Volumen: 85

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.CONCUR.2017.10 GOOGLE SCHOLAR
Fuente de los datos: Scopus