Models for concurrency
Auteur :
Abraham, Uri
Éditeur :
Taylor & Francis Ltd
ISBN :
9789056991999
Date de publication :
24 mai 1999
Dimensions :
23,4 x 15,6 cm
Poids :
620 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Models for Concurrency presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.