Generalizing finiteness conditions of labelled transition systems | Publicación