Verification of JavaSpaces™ parallel programs

  1. Van De Pol, J.
  2. Espada, M.V.
Actas:
Proceedings - International Conference on Application of Concurrency to System Design, ACSD

ISSN: 1550-4808

ISBN: 0769518877

Año de publicación: 2003

Volumen: 2003-January

Páginas: 196-205

Tipo: Aportación congreso

DOI: 10.1109/CSD.2003.1207714 GOOGLE SCHOLAR
Fuente de los datos: Scopus