EMSO

swMATH2693MaRDI QIDQ15232FDOQ15232

Author name not available (Why is that?)

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