converted session tuple to record, fixed handling of crashed processes