Verification of JavaSpaces™ parallel programs
- Van De Pol, J.
- Espada, M.V.
ISSN: 1550-4808
ISBN: 0769518877
Année de publication: 2003
Volumen: 2003-January
Pages: 196-205
Type: Communication dans un congrès
Actes de conférence:
Proceedings - International Conference on Application of Concurrency to System Design, ACSD