Jorge Perez Parra

Search results

• 2019

  Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Proceedings

  Perez, J. A. (Editor) & Yoshida, N. (Editor), 2019, Springer Verlag. 308 p. (Lecture Notes in Computer Science)

  Research output: Book/Report › Book › Academic › peer-review

• Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019

  Perez, J. A. (Editor) & Rot, J. (Editor), 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS).

  Research output: Book/Report › Book › Academic › peer-review

  Open Access
• 2018

  Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics

  Perez, J. A. (Editor) & Tini, S. (Editor), 2018, Electronic Proceedings in Theoretical Computer Science (EPTCS).

  Research output: Book/Report › Book › Academic › peer-review

  Open Access
• 2016

  Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015

  Muñoz, C. A. (Editor) & Pérez, J. A. (Editor), 2-Mar-2016, Electronic Proceedings in Theoretical Computer Science (EPTCS).

  Research output: Book/Report › Book › Academic › peer-review

  Open Access