Monus Semantics in Vector Addition Systems with States

Baumann, Pascal; Madnani, Khushraj; Mazowiecki, Filip; Zetzsche, Georg

doi:10.4230/LIPIcs.CONCUR.2023.10

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Monus Semantics in Vector Addition Systems with States

MPS-Authors

/persons/resource/persons274580

Baumann, Pascal
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons292932

Madnani, Khushraj
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

LIPIcs-CONCUR-2023-10.pdf
(出版社版), 828KB

付随資料 (公開)

There is no public supplementary material available

引用

Baumann, P., Madnani, K., Mazowiecki, F., & Zetzsche, G. (2023). Monus Semantics in Vector Addition Systems with States. In G. A., Pérez, & J.-F., Raskin (Eds.), 34th International Conference on Concurrency Theory (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2023.10.

引用: https://hdl.handle.net/21.11116/0000-000D-CC8E-E

要旨

要旨はありません