Realizability of Dynamic MSC Languages
From MaRDI portal
Publication:3569730
DOI10.1007/978-3-642-13182-0_5zbMath1285.68080OpenAlexW2109303224MaRDI QIDQ3569730
Publication date: 22 June 2010
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00589714/file/dynamic.pdf
Related Items
Modeling Actor Systems Using Dynamic I/O Automata, An Automaton over Data Words That Captures EMSO Logic