  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.
