Proofs, Concurrent Objects, and Computations in a FILL Framework. - Didier Galmiche; Eric Boudinet (OBPDC, 1995)