articles
Detail
Publication date: 1 de June, 2021Publication 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 |
| Pub. Date | 01/01/2014 |