Local times for spectrally negative L\'evy processes

For spectrally negative L\'evy processes, adapting an approach from \cite{BoLi:sub1} we identify joint Laplace transforms involving local times evaluated at either the first passage times, or independent exponential times, or inverse local times. The Laplace transforms are expressed in terms of the associated scale functions. Connections are made with the permanental process and the Markovian loop soup measure.