2 results
Christoph Haase ; Sylvain Schmitz ; Philippe Schnoebelen.
We introduce Priority Channel Systems, a new class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messages preceding them in the fifo communication buffers. The decidability of safety and inevitability properties is shown […]
Published on December 3, 2014
Prateek Karandikar ; Philippe Schnoebelen.
The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been investigated in a systematic way. This article develops a series […]
Published on April 30, 2019