articles
Detail
Publication date: 28 de March, 2022Publication 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 |