ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS
- ALONSO, LM
- PENA, R
- AARTS, EHL (coord.)
- VANLEEUWAN, J (coord.)
- REM, M (coord.)
ISBN: 3-540-54152-7
Año de publicación: 1991
Volumen: 506
Páginas: 75-91
Congreso: BIANNUAL CONF ON PARALLEL ARCHITECTURES AND LANGUAGES EUROPE ( PARLE 91 )
Tipo: Aportación congreso