Unifying the linear time-branching time spectrum of strong process semantics

  1. de Frutos Escrig, D.
  2. Gregorio Rodríguez, C.
  3. Palomino, M.
  4. Romero Hernández, D.
Aldizkaria:
Logical Methods in Computer Science

ISSN: 1860-5974

Argitalpen urtea: 2013

Alea: 9

Zenbakia: 2

Mota: Artikulua

DOI: 10.2168/LMCS-9(2:11)2013 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus