最 低 价：￥394.40
定 价：￥587.60
作 者：MatthewHennessy 著 著
出 版 社：Oversea Publishing House
出版时间：2007-3-1
I S B N：9780521873307
| Preface Acknowledgements 1 Inductive principles 1.1 Induction 1.2 Coinduction 1.3 Bisimulation equivalence 2 The asynchronous PI-CALCULUS 2.1 The language API 2.2 Reduction semantics for API 2.3 An action semanncs for API 2.4 A coinductive behavioural equivalence for API 2.5 Contextual equivalences 2.6 An observational lts for API 2.7 Justifying bisimulation equivalence contextually 2.8 Questions 3 Types for API 3.1 Runtime errors 3.2 Typechecking with simple types 3.3 Properties of typechecking 3.4 Types as capabilities 3.5 Questions 4 Types and behaviour in API 4.1 Actions-in-context for API 4.2 Typed bisimulation equivalence 4.3 Questions 5 A distributed asynchronous PI-CALCULUS 5.1 The language ADPI 5.2 Access control types for ADPI 5.3 Subject reduction for ADPI 5.4 Type safety for ADPI 5.5 Distributed consistency of local channels 5.6 Questions 6 Behavioural equivalences for ADPI 6.1 Actions-in-context for ADPI 6.2 Typed bisimulation equivalence for ADPI 6.3 Describing bisimulations 6.4 Servers and clients 6.5 Modelling a firewall 6.6 Typed contextual equivalences 6.7 Justifying bisimulation equivalence contextually in ADPI 6.8 Questions Sources List of figures Notation Bibliography Index |
内容加载中，请稍后...
商品评论（0条）