斯特凡诺·卡桑吉安;安娜·拉布拉;阿尔贝托·佩特罗西 局部和交互计算的丰富类别。 （英语） Zbl 0639.68023号 范畴理论与计算机科学，Proc。Conf.，爱丁堡/英国，1987年，Lect。注释计算。科学。283, 57-70 (1987). 摘要：[有关整个系列，请参阅Zbl 0632.00018号.]分布式计算模型的构建在并行计算系统的设计和开发中起着非常重要的作用。过去提出了各种代数方法，例如R.米尔纳[通信系统微积分（Lect.Notes Compute Sci.92）（1980；Zbl 0452.68027号)],S.D.布鲁克斯,C.A.R.霍尔和A.W.罗斯科[J.Assoc.Comput.Math.31，560-599（1984；Zbl 0628.68025号)]、和J.A.Bergstra公司和J.W.Klop【Theor.Comput.Sci.37，77-121（1985；Zbl 0579.68016号)].在我们的工作中，我们提出了一种定义分布式计算代理代数类范畴模型的通用方法。如果代数的静态和动态操作（cf.Milner，loc.cit.）具有适当的属性，我们可以构造丰富的范畴，这些范畴是分布式计算的模型，也包括通过协议进行合作的并发有限自动机的情况。对于希望考虑的特定代数，结构是一致的。 引用于4文件 MSC公司： 68N25号 操作系统理论 18D20天 丰富的类别（超封闭或单体类别） 68问题65 抽象数据类型；代数规范 08C05号机组 代数的范畴 关键词：分类模型;代数类;分布式计算代理;丰富的类别;分布式计算模型;并发有限自动机 引文：Zbl 0632.00018号;Zbl 0452.68027号;Zbl 0628.68025号;Zbl 0579.68016号 PDF格式BibTeX公司 XML格式