Core Concepts
並列システムの実行をモデル化する柔軟なipomsetモデルに焦点を当てる。
Abstract
この論文では、ipomsetsのプレゼンテーションとその代数的性質について説明されています。さらに、高次元オートマトンとST-automataの関係についても議論されています。
Abstract:
ipomsetsは、先行順位と同時性の両方を考慮する並列システムの実行モデルとして柔軟性が示されている。
本稿では、ipomsetsのグラフ生成方法や代数的性質に焦点を当て、高次元オートマトンとST-automataの関連性も示す。
Introduction:
Series-parallel pomsetsは一部半順序多重集合であり、一部半順序多重集合(ipomsets)は、先行順位と同時性を考慮した並列システムの実行モデルとして柔軟なモデルであることが示されている。
本稿では、ipomsetsのプレゼンテーション方法や代数的特性に焦点を当てる。
Data Extraction:
ipomset ev(α)はパスαのイベントipomsetで再帰的に定義されます。
ST-automaton Aの言語L(A)は2Coh∼内にあります。
Stats
ipomset ev(α)はパスαのイベントipomsetで再帰的に定義されます。
ST-automaton Aの言語L(A)は2Coh∼内にあります。
Quotes
"Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurrency need to be taken into account."