Models for Concurrent Eiffel