EMSO

swMATH2693MaRDI QIDQ15232FDOQ15232

Author name not available (Why is that?)

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