A unified rule format for bounded nondeterminism in SOS with terms as labels

  1. Aceto, L.
  2. Fábregas, I.
  3. García-Pérez, A.
  4. Ingólfsdóttir, A.
Revista:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Año de publicación: 2017

Volumen: 92

Páginas: 64-86

Tipo: Artículo

DOI: 10.1016/J.JLAMP.2017.03.002 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus