EMSO

MaRDI QIDQ15232swMATHFDO

Official website http://www.springerlink.com/content/l4j17x112714816l/fulltext.pdf

Described by source

• EMSO-definability of some languages with event structures

Cited in

(1)

• Message-passing automata are expressively equivalent to EMSO logic

This page was built for software: EMSO