Titlebook: Algebraic Methods II: Theory, Tools and Applications; J. A. Bergstra,L. M. G. Feijs Conference proceedings 1991 Springer-Verlag Berlin Hei

Jurisdiction

书目名称Algebraic Methods II: Theory, Tools and Applications影响因子(影响力)




书目名称Algebraic Methods II: Theory, Tools and Applications影响因子(影响力)学科排名




书目名称Algebraic Methods II: Theory, Tools and Applications网络公开度




书目名称Algebraic Methods II: Theory, Tools and Applications网络公开度学科排名




书目名称Algebraic Methods II: Theory, Tools and Applications被引频次




书目名称Algebraic Methods II: Theory, Tools and Applications被引频次学科排名




书目名称Algebraic Methods II: Theory, Tools and Applications年度引用




书目名称Algebraic Methods II: Theory, Tools and Applications年度引用学科排名




书目名称Algebraic Methods II: Theory, Tools and Applications读者反馈




书目名称Algebraic Methods II: Theory, Tools and Applications读者反馈学科排名

ANN

FIG

Algebraic Methods II: Theory, Tools and Applications

弯曲道理

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.

十字架

中世纪

lipids

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.

高调

记忆法

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

,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.