2015
Articles in Scientific Journals
- Cinzia Di Giusto, Jorge A. Pérez: Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265 (2015)
Articles in Conferences and Workshops (Peer-Reviewed)
- Mauricio Cano, Hugo A. López, Jorge A. Pérez and Camilo Rueda. Declarative Interpretations of Session-Based Concurrency. In Proc. of 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). ACM Press, to appear.
- Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes. In Proc. of 26th Conference on Concurrency Theory (CONCUR 2015). LIPIcs–Leibniz International Proceedings in Informatics, to appear.