ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS

  1. ALONSO, LM
  2. PENA, R
Col·lecció de llibres:
PARLE 91 : PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, VOL 2
  1. AARTS, EHL (coord.)
  2. VANLEEUWAN, J (coord.)
  3. REM, M (coord.)

ISBN: 3-540-54152-7

Any de publicació: 1991

Volum: 506

Pàgines: 75-91

Congrés: BIANNUAL CONF ON PARALLEL ARCHITECTURES AND LANGUAGES EUROPE ( PARLE 91 )

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS