Decade of concurrency, a: reflections and perspectives - rex school/symposium, noordwijkerhout, the netherlands, june 1-4, 1993 - proceedings
Auteur :
Bakker, J. W. de
ISBN :
9783540580430
Date de publication :
28 juin 1994
Dimensions :
23,4 x 15,6 x 3,5 cm
Poids :
965 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Reflecting the culmination of a 10-year research project carried out by three Dutch groups, this volume explores how formal methods from the fields of syntax, semantics and proof theory can improve our understanding of the nature of parallel computing.