EMSO-logic and automata related to homogeneous flow event structures

DOI10.1016/j.tcs.2004.03.030zbMath1070.68078OpenAlexW1990107741MaRDI QIDQ1885039

Yanyan Li

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.030

zbMATH Keywords

Finite automataEMSO-logicFlow event structure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

EMSO-logic and automata related to homogeneous flow event structures

Cites Work

• Unnamed Item
• Models for concurrency: Towards a classification
• Petri nets, event structures and domains. I
• Some properties of two-dimensional on-line tessellation acceptors
• EMSO-logic and automata related to homogeneous flow event structures
• Logical definability on infinite traces

This page was built for publication: EMSO-logic and automata related to homogeneous flow event structures