Livelocks in slotted ring networks. - Jan Pachl (INFOCOM, 1988)

Semipullbacks of labelled Markov processes. - Jan Pachl; Pedro Sánchez Terraf (Log. Methods Comput. Sci., 2021)