Richard Müller, Christian Stahl, Walter Vogler. Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett., 114(12):663-669, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.