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網(wǎng)絡公開度




書目名稱Algebraic Methods: Theory, Tools and Applications網(wǎng)絡公開度學科排名




書目名稱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