'Real time distributed model' presentation slideshows

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++. Professor Peter Gorm Larsen ( pgl@iha.dk ). Agenda. Administrative information about the course Simple AST Extensions Concurrency primitives in VDM++ Example: POP3 Server Example: MSAWConc Concurrency and Overture

763 views • 64 slides