Concur '95: 6th international conference, philadelphia, pa, usa, august 21-24, 1995 - proceedings
Auteur :
Lee, Insup
ISBN :
9783540602187
Date de publication :
9 sept. 1995
Dimensions :
27,9 x 21,6 x 2,9 cm
Poids :
786 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The aim of this proceedings volume is to communicate ongoing research in the field of concurrency theory. Papers include discussions on process algebras, model checking, mobile processes, process theory, true concurrency, probabilistic automata, real-time systems, and testing semantics.