Titlebook: Algebraic Methods: Theory, Tools and Applications; Martin Wirsing,Jan A. Bergstra Conference proceedings 1989 Springer-Verlag Berlin Heide

Gram114

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




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




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




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




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




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




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




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




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




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

尊重

胰脏

APEX

匍匐前进

Description algebra,rates a special scheme of dealing with name clashes in module composition by means of . and .. A complete definition of the algebra is given and its properties are discussed. The algebra is the basis of the modularisation constructs of the design language COLD-K, but the approach as such as independ

Arthr-

拘留

The RAP system as a tool for testing COLD specifications,ion techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user‘s point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.

Picks-Disease

Offensive

欢腾

,ACPτ a universal axiom system for process specification,entation in several intermediate stages leading to ACP., Algebra of Communicating Processes with abstraction. At each successive stage an example is given showing that the specification power is increased. Also some graph models for the respective axiom systems are informally presented. We conclude