×

可实现非连续过程的概念。 (英语) 兹比尔0642.68028

摘要:本文用网络理论的语言给出了关于非连续过程的一些结果。结果涉及直觉的各种形式化之间的关系,即由过程强制执行的因果关系在某种意义上应该是“有限可实现的”。基于可观测性、近似性、状态空间覆盖和离散性的概念,所提出的形式化具有非常不同的风格。

MSC公司:

68N25号 操作系统理论
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用