LANGUAGE PRESERVATION PROBLEMS IN PARAMETRIC TIMED AUTOMATA

Language Preservation Problems in Parametric Timed Automata

Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays.In this paper, we address the (untimed) language- and lilac charger plates trace-preservation problems: given a reference parameter valuation, does there exist another parameter valuation with the same untimed langua

read more



Scribal Assimilation as Inter-Textual Allusion

In this essay I examine instances of scribal game of thrones jon snow poster assimilation in ancient Jewish scripture and identify the literary features that triggered scribal recollections of other texts.I argue that some instances of assimilation can be understood as inter-textual allusion, and should be analyzed as such with reference to their f

read more