Detail

Publication date: 28 de March, 2022

Publication Linear logical relations and observational equivalences for session-based concurrency – Journal Information and Computation (Elsevier)


Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 239
Pub. Date 01/12/2014