Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe Shunsuke Shimizu Ichiro Hasuo

Published in: CONCUR (2016)

Keyphrases

cellular automata
finite automata
conceptual model
formal semantics
logic programming
regular expressions
error correction
conceptual graphs
formal languages
probabilistic automata
database
pattern matching
deductive databases
owl ontologies
transformation rules