Gå direkte til innholdet
Modelling Distributed Systems
Spar

Modelling Distributed Systems

Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a language developed to combine process algebra and abstract data types.
Forfatter
Wan Fokkink
Opplag
2007 ed.
ISBN
9783540739371
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
26.9.2007
Antall sider
154