1: \begin{abstract}

2: For every finite unital inverse semigroup $S$ and %$S$-equivariant

3: $S$-$C^*$-algebra $A$

4: we establish an

5: isomorphism between

6: %$S$-equivariant $K$-theory of $A$

7: %$S$-equivariant $K$-theory

8: $KK^S(\C,A)$

9: %of $A$ % and (the $S$-equivariant $K$-theory %$KK^S(\C,A)$

10: %of an $S$-equivariant $C^*$-algebra $A$)

11: %and $K$-theory

12: and

13: $K(A \rtimes S)$.

14: % and the

15: %and the $K$-theory

16:  %of the crossed product of $A$ by $S$.

17: %of %the crossed product

18: %$A \rtimes S$.

19: %This generalizes the classical Green--Julg isomorphism from finite groups to finite inverse %semigroups.

20: This extends the classical Green--Julg isomorphism from finite groups to finite inverse semigroups.

21: %Further there is an isomorphism between $KK^S(A,B)$ and

22: %$\widehat{KK^S}(A \rtimes E,B \rtimes B)$.

23: %% for finite, unital inverse semigroups $S$.

24: \end{abstract}

25: