Equivariant higher algebraic K-theory for Waldhausen categories.
Giffen in [1], and Gillet-Grayson in [3], independently found a simplicial model for the loop space on Quillen's Q-construction. Their proofs work for exact categories. Here we generalise the results to the K-theory of triangulated categories. The old proofs do not generalise. Our new proof, aside from giving the generalised result, can also be viewed as an amusing new proof of the old theorems of Giffen and Gillet-Grayson.