Verification of JavaSpaces™ parallel programs
- Van De Pol, J.
- Espada, M.V.
ISSN: 1550-4808
ISBN: 0769518877
Datum der Publikation: 2003
Ausgabe: 2003-January
Seiten: 196-205
Art: Konferenz-Beitrag
Konferenzberichte:
Proceedings - International Conference on Application of Concurrency to System Design, ACSD