A backend for workflow built over Redis