Algebraic Specification of Process Algebra, Including Two Examples

机译：过程代数的代数规范，包括两个例子

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

The paper contains a study of the possibilities to describe process algebra as an algebraic specification. Two examples from the field of the specification of communication protocols are discussed to analyze the adequacy of the approach in practical situations.

著录项

作者
Mauw, S.;
展开▼
作者单位

展开▼
年度 1987
页码 1-58
总页数 58
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词

相似文献

外文文献
中文文献
专利

1. CSP-CASL - A new integration of process algebra and algebraic specification [J] . Markus Roggenbach Theoretical computer science . 2006,第1期

机译：CSP-CASL-过程代数和代数规范的新集成
2. On BCK Algebras - Part III: Classes of Examples of Proper MV Algebras, BL Algebras and Divisible Bounded Residuated Lattices, with or without Condition (WNM) [J] . Afrodita Iorgulescu Journal of multiple-valued logic and soft computing . 2010,第3a5期

机译：关于BCK代数-第三部分：有条件或无条件（WNM）的适当MV代数，BL代数和可分界剩余格的示例类
3. A class of C*-algebras generalizing both graph algebras and homeomorphism C*-algebras II, examples [J] . Katsura T International journal of mathematics . 2006,第7期

机译：一类同时推广图代数和同胚C *-代数II的C *-代数
4. A method to combine any process algebra with an algebraic specification language: the π-calculus example [C] . Gwen Salaun, Michel Allemand, Christian Attiogbe International Computer Software and Applications Conference, Annual . 2002

机译：用代数规范语言组合任何过程代数的方法：π-阶段例
5. Some Extension Algebras of Standard Modules over Khovanov-Lauda-Rouquier Algebras of Type A, Including A-Infinity Structure [D] . Buursma, Doeke. 2020

机译：khovanov-lauda-roouquier代数的一些标准模块的一些延伸代数，包括A-Infinity结构
6. An Information Ontology for the Process Algebra Model of Non-Relativistic Quantum Mechanics [O] . William Sulis 2020

机译：非相对论量子力学过程代数模型的信息本体论
7. CSP-CASL – A new integration of process algebra and algebraic specification [O] . Markus Roggenbach 2015

机译：Csp-CasL - 过程代数和代数规范的新集成
8. Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples [R] . Bergstra, J. A., Heering, J., Klop, J. W. 1984

机译：面向对象的代数规范：表示法的提案和12个例子

Algebraic Specification of Process Algebra, Including Two Examples

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅