Pomsets for local trace languages - Recognizability, logic & petri nets

被引：0

作者：

Institut für Algebra, Technische Universität Dresden, D-01062 Dresden, Germany ^{[1
]}

机构：

来源：

Lect. Notes Comput. Sci. | 1600年 / 426-441期

关键词：

D O I：

11th International Conference on Concurrency Theory, CONCUR 2000

中图分类号：

学科分类号：

摘要：

Finite steps - Firing sequences - Generalisation - Local trace languages - Mazurkiewicz traces - Monadic second-order logic - Pomsets

引用