Sharing Actions and Attributes in Modal Action Logic

Sharing Actions and Attributes in Modal Action Logic
复制标题

在模态动作逻辑中共享动作和属性

DOI：
--
复制
发表时间：
1991
期刊：
Theoretical Aspects of Computer Software
影响因子：
--
通讯作者：
Tom Maibaum
Tom Maibaum
中科院分区：
--
文献类型：
--
作者：
M. Ryan;J. Fiadeiro;Tom Maibaum

文献摘要

被引文献

相似文献

分布式系统可以在结构化模态动作逻辑中指定，通过将它们分解为通过共享属性（内存）以及动作进行交互的代理。
Distributed systems may be specified in Structured Modal Action Logic by decomposing them into agents which interact by sharing attributes (memory) as well as actions.