Fundamental Computing > CS > JBI > FWN > RUG

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.