Precongruence formats for decorated trace semantics.

Bard Bloom Wan J. Fokkink Rob J. van Glabbeek

Published in: ACM Trans. Comput. Log. (2004)

Keyphrases

formal semantics
artificial intelligence
logic programming
semantic information
model theoretic
update semantics
database
multimedia
logical language