Searching for "Message-Passing Automata Are Expressively Equivalent to EMSO Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Message-Passing Automata Are Expressively Equivalent to EMSO Logic
by Martin Leucker, Aachener Informatik Berichte, Rwth Aachen, Benedikt Bollig, Benedikt Bollig — 2004
…, and message-passing automata. Section 3 deals with the expressive equivalence of message-passing automata…
Cited by 10 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB