Specification of parallel algorithms
Auteur :
American Mathematical Society
Éditeur :
American Mathematical Society
ISBN :
9780821802533
Date de publication :
30 déc. 1994
Poids :
936 g
Langue :
Anglais
Pays d'origine :
USA
Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions.