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
Argitalpen urtea: 1991
Alea: 506
Orrialdeak: 75-91
Biltzarra: BIANNUAL CONF ON PARALLEL ARCHITECTURES AND LANGUAGES EUROPE ( PARLE 91 )
Mota: Biltzar ekarpena