Asynchronous Function Definition Algebra