Tense Logic for Discrete Future Time. - Patrick Schindler (J. Symb. Log., 1970)

Discontinuous Conservation Laws for Production Networks with Finite Buffers. - Simone Göttlich; Axel Klar; Patrick Schindler (SIAM J. Appl. Math., 2013)