Lifting in Z

Andrew Martin, Colin J. Fidge. Lifting in Z. Theoretical Computer Science, 42:197-219, 2001. [doi]

Authors

Andrew Martin

This author has not been identified. Look up 'Andrew Martin' in Google

Colin J. Fidge

This author has not been identified. Look up 'Colin J. Fidge' in Google