A Characterization of Distributed ASMs with Partial-Order Runs.

Egon Börger Klaus-Dieter Schewe

Published in: ABZ (2020)

Keyphrases

partial order
partially ordered
total order
lattice structure
distributed systems
set theory
stable marriage
multi agent
dominance relation
partial ordering
vertex cover
causal links
active shape model