文章基本信息

标题：On Characterising Distributability
本地全文：下载
作者：Rob van Glabbeek ; Ursula Goltz ; Jens-Wolfhard Schicke-Uffmann 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2013
卷号：9
期号：3
页码：1
DOI：10.2168/LMCS-9(3:17)2013
出版社：Technical University of Braunschweig
摘要：We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemented as LSGA nets up to branching ST-bisimilarity with explicit divergence.
其他关键词：Concurrency, Petri nets, distributed systems, reactive systems, asynchronous interaction, semantic equivalences.