Specification-orientated Semantics for Communicating Process

Name: Specification-orientated Semantics for Communicating Process
ISBN: 9780902928213

E-.R. Olderog , C.A.R. Hoare

还没有评分