Universal coinductive characterisations of process semantics

  1. de Frutos Escrig, D.
  2. Rodríguez, C.G.
Liburu bilduma:
IFIP International Federation for Information Processing

ISSN: 1571-5736

ISBN: 9780387096797

Argitalpen urtea: 2008

Alea: 273

Orrialdeak: 397-412

Mota: Biltzar ekarpena

DOI: 10.1007/978-0-387-09680-3_27 GOOGLE SCHOLAR
Datuen iturria: Scopus