negligence
发表于 2025-3-23 12:19:35
http://reply.papertrans.cn/83/8247/824676/824676_11.png
外表读作
发表于 2025-3-23 15:26:55
http://reply.papertrans.cn/83/8247/824676/824676_12.png
骨
发表于 2025-3-23 20:04:16
http://reply.papertrans.cn/83/8247/824676/824676_13.png
青春期
发表于 2025-3-24 00:44:18
http://reply.papertrans.cn/83/8247/824676/824676_14.png
清澈
发表于 2025-3-24 03:01:34
State-Based Languages: Z and Bocus in a description. In this chapter we illustrate the approach to state-based specification by briefly introducing the Z and B notations, and showing how we can apply our theory of refinement to them.
Flawless
发表于 2025-3-24 09:05:58
Labeled Transition Systems and Their Refinementach refinement relation we introduce is more discriminating than the last. The most discriminating of all, bisimulation, will then be introduced in Chap. .. The material in this chapter serves as the foundation of refinement in process algebras such as CSP, CCS and LOTOS which we consider in Chap. ..
抛媚眼
发表于 2025-3-24 10:42:50
http://reply.papertrans.cn/83/8247/824676/824676_17.png
大都市
发表于 2025-3-24 15:46:27
Relating Data Refinement and Failures-Divergences Refinementthe context of failures refinement (see Sect. .). In this chapter we consider failures refinement in more depth, and in particular start to discuss the role that inputs and outputs have in a relational framework and how they correspond to aspects of divergence and refusals.
infringe
发表于 2025-3-24 22:59:16
Process AlgebraThis chapter looks at these issues in process algebras. As a canonical example we look at CSP, but we also discuss CCS and LOTOS. The link to the semantics is made to Chap. . as well as elements of Chap. ..
ethereal
发表于 2025-3-25 00:46:24
ConclusionsThe purpose of this book has been to explain the foundations for refinement in a variety of semantic models, and then see how these foundations are realised in some example specification languages. This has taken us on a tour through some different ways of looking at computation.