Message-Passing Automata Are Expressively Equivalent to EMSO Logic.

Benedikt Bollig, Martin Leucker

Browse the full CONCUR paper archive.