EMSO

swMATH2693MaRDI QIDQ15232

No author found.

Described by source

• EMSO-definability of some languages with event structures

Related Items (1)

Message-passing automata are expressively equivalent to EMSO logic

This page was built for software: EMSO