Rule formats for nominal process calculi

  1. Aceto, L.
  2. Fábregas, I.
  3. García-Pérez, Á.
  4. Ingólfsdóttir, A.
  5. Ortega-Mallén, Y.
Journal:
Logical Methods in Computer Science

ISSN: 1860-5974

Year of publication: 2019

Volume: 15

Issue: 4

Type: Article

DOI: 10.23638/LMCS-15(4:2)2019 GOOGLE SCHOLAR
Data source: Scopus