Bisimulation up-to techniques for psi-calculi - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Åman Pohjola, Joachim Parrow. Bisimulation up-to techniques for psi-calculi. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 142-153, ACM, 2016. [doi]

This author has not been identified. Look up 'Johannes Åman Pohjola' in GoogleThis author has not been identified. Look up 'Joachim Parrow' in Google

runs on WebDSL