Concurrency and hardware design: advances in petri nets
Auteur :
Cortadella, Jordi
ISBN :
9783540001997
Date de publication :
26 nov. 2002
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
505 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This LNCS Survey is devoted to the relatively old and well-known behavioural paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. It includes formal methods, asynchronous circuits and embedded systems design.