Open Maps and Trace Semantics for Timed Partial Order Models.

Irina B. Virbitskaite Natalya S. Gribovskaja

Published in: Ershov Memorial Conference (2003)

Keyphrases

partial order
partially ordered
conceptual graphs
total order
logical formulas
petri net
dominance relation