Jurisdiction
发表于 2025-3-21 18:13:11
书目名称Algebraic Methods II: Theory, Tools and Applications影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0152668<br><br> <br><br>书目名称Algebraic Methods II: Theory, Tools and Applications读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0152668<br><br> <br><br>
ANN
发表于 2025-3-21 22:57:05
http://reply.papertrans.cn/16/1527/152668/152668_2.png
FIG
发表于 2025-3-22 01:49:14
Algebraic Methods II: Theory, Tools and Applications
弯曲道理
发表于 2025-3-22 04:43:18
https://doi.org/10.1007/978-3-319-90303-3We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.
十字架
发表于 2025-3-22 12:28:28
http://reply.papertrans.cn/16/1527/152668/152668_5.png
中世纪
发表于 2025-3-22 12:53:50
http://reply.papertrans.cn/16/1527/152668/152668_6.png
lipids
发表于 2025-3-22 19:46:48
https://doi.org/10.1007/978-3-540-72943-3The specification language PSF. is used to give a formal specification of a transit node, a common case study in ESPRIT project METEOR. The design of the specification derived from the informal text and the ERAE specification is included. A short discussion on the relation to the specification in ERAE is provided.
高调
发表于 2025-3-22 23:21:18
http://reply.papertrans.cn/16/1527/152668/152668_8.png
记忆法
发表于 2025-3-23 02:23:37
Using transformations to verify parallel programs,We argue that the verification of parallel programs can be considerably simplified by using program transformations. We illustrate this approach by proving correctness of two parallel programs under the assumption of fairness: asynchronous fixed point computation and parallel zero search.
GET
发表于 2025-3-23 06:42:27
,Norman’s database modularised in COLD-K,In this paper we present a COLD specification of a database, originally presented in VDM, discussing various aspects of modularisation.