1. 2017
  2. Mezzina, C. A., & Perez , J. A. (2017). Causally consistent reversible choreographies: A monitors-as-memories approach. In Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017) (pp. 127-138). ACM Press Digital Library. DOI: 10.1145/3131851.3131864
  3. Caires, L., & Perez Parra, J. A. (2017). Linearity, Control Effects, and Behavioral Types. In H. Yang (Ed.), Programming Languages and Systems (pp. 229-259). ( Lecture Notes in Computer Science ; Vol. 10201). Springer. DOI: 10.1007/978-3-662-54434-1_9
  4. Cano Grijalba, M., Arias, J., & Perez Parra, J. A. (2017). Session-Based Concurrency, Reactively. In Proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects,Components, and Systems (FORTE 2017): FORTE 2017: Formal Techniques for Distributed Objects, Components, and Systems (pp. 74-91). (Lecture Notes in Computer Science ; Vol. 10321). Springer Verlag. DOI: 10.1007/978-3-319-60225-7_6
  5. 2016
  6. Ghilezan, S., Jakšić, . S., Pantovic, J., Perez , J. A., & Vieira, H. T. (2016). Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28(4), 643-667 . DOI: 10.1007/s00165-016-0363-5
  7. Mezzina, C. A., & Perez Parra, J. A. (2016). Reversible Sessions Using Monitors. In D. Orchard, & N. Yoshida (Eds.), Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016) (pp. 56–64). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 211). Electronic Proceedings in Theoretical Computer Science (EPTCS). DOI: 10.4204/EPTCS.211.6
  8. Caires, L., & Perez Parra, J. A. (2016). Multiparty Session Types Within A Canonical Binary Theory, and Beyond. In E. Albert, & I. Lanese (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (pp. 74–95). ( Lecture Notes in Computer Science; Vol. 9688). Springer Verlag. DOI: 10.1007/978-3-319-39570-8_6
  9. Perez, J. A. (2016). The Challenge of Typed Expressiveness in Concurrency. In Proc. of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE’16) (pp. 239– 247). (Lecture Notes in Computer Science; Vol. 9688). Springer Verlag. DOI: 10.1007/978-3-319-39570-8_16
  10. Yoshida, N., Kouzapas, D., & Perez Parra, J. A. (2016). On the Relative Expressiveness of Higher-Order Session Processes. In Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (pp. 446-475). (Lecture Notes in Computer Science; Vol. 9632). Springer Verlag. DOI: 10.1007/978-3-662-49498-1_18
  11. 2015
  12. Bartoletti, M., Castellani, I., Deniélou, P-M., Dezani-Ciancaglini, M., Ghilezan, S., Pantovic, J., ... Vieira, H. T. (2015). Combining behavioural types with security analysis. The Journal of Logical and Algebraic Methods in Programming, 84(6), 763-780. DOI: 10.1016/j.jlamp.2015.09.003
  13. Kouzapas, D., Pérez, J. A., & Yoshida, N. (2015). Characteristic Bisimulation for Higher-Order Session Processes. In 26th International Conference on Concurrency Theory, CONCUR 2015, September 1.4, 2015 (pp. 398-411). Madrid, Spain, . DOI: 10.4230/LIPIcs.CONCUR.2015.398
  14. Dardha, O., & Pérez, J. A. (2015). Comparing Deadlock-Free Session Typed Processes. In Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015. (pp. 1-15). Madrid, Spain. DOI: 10.4204/EPTCS.190.1
  15. Cano, M., Rueda, C., López, H. A., & Pérez, J. A. (2015). Declarative interpretations of session-based concurrency. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015 (pp. 67-78). Siena, Italy. DOI: 10.1145/2790449.2790513
  16. Renardel de Lavalette, G., Ghosh, S. (Ed.), & Szymanik, J. (Ed.) (2015). Infinitary hybrid logic and the Lindelöf property. In The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge: Tributes (Vol. 25, pp. 113-120). College Publications.
  17. Dedeic, J., Pantovic, J., & Pérez, J. A. (2015). On Compensation Primitives as Adaptable Processes. In Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015. (pp. 16-30). Madrid, Spain. DOI: 10.4204/EPTCS.190.2
  18. 2014
  19. Ghilezan, S., Jaksic, S., Pantovic, J., Pérez, J. A., & Vieira, H. T. (2014). Dynamic Role Authorization in Multiparty Conversations. In Proceedings Third Workshop on Behavioural Types, BEAT 2014, 1st September 2014. (pp. 1-8). Rome, Italy. DOI: 10.4204/EPTCS.162.1
  20. Castellani, I., Dezani-Ciancaglini, M., & Pérez, J. A. (2014). Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. In Proceedings Third Workshop on Behavioural Types, BEAT 2014, 1st September 2014. (pp. 9-18). Rome, Italy. DOI: 10.4204/EPTCS.162.2
  21. Restrepo, C. A. R., Pérez, J. A., Aranda, J., & Díaz, J. F. (2014). Towards Formal Interaction-Based Models of Grid Computing Infrastructures. In Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, 26 August 2013. (pp. 57-72). Buenos Aires, Argentina. DOI: 10.4204/EPTCS.144.5
  22. 2013
  23. Caires, L., Pérez, J. A., Pfenning, F., & Toninho, B. (2013). Behavioral Polymorphism and Parametricity in Session-Based Communication. In Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, March 16-24, 2013. Proceedings (pp. 330-349). ( Lecture Notes in Computer Science ; Vol. 7792). Rome, Italy. DOI: 10.1007/978-3-642-37036-6_19
  24. Giusto, C. D., & Pérez, J. A. (2013). Disciplined structured communications with consistent runtime adaptation. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, March 18-22, 2013 (pp. 1913-1918). Coimbra, Portugal. DOI: 10.1145/2480362.2480716
  25. Giusto, C. D., & Pérez, J. A. (2013). Session Types with Runtime Adaptation: Overview and Examples. In Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23rd March 2013. (pp. 21-32). Rome, Italy. DOI: 10.4204/EPTCS.137.3
  26. Bravetti, M., Carbone, M., Hildebrandt, T. T., Lanese, I., Mauro, J., Pérez, J. A., & Zavattaro, G. (2013). Towards Global and Local Types for Adaptation. In Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 (Revised Selected Papers ed., pp. 3-14). Madrid, Spain. DOI: 10.1007/978-3-319-05032-4_1
  27. 2012
  28. Bravetti, M., Di Giusto, C., Perez, J. A., & Zavattaro, G. (2012). ADAPTABLE PROCESSES. Logical Methods in Computer Science, 8(4), [13]. DOI: 10.2168/LMCS-8(4:13)2012
  29. Pérez, J. A., Caires, L., Pfenning, F., & Toninho, B. (2012). Linear Logical Relations for Session-Based Concurrency. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, March 24 - April 1, 2012. Proceedings (pp. 539-558). Tallinn, Estonia. DOI: 10.1007/978-3-642-28869-2_27
  30. Bravetti, M., Giusto, C. D., Pérez, J. A., & Zavattaro, G. (2012). Towards the Verification of Adaptable Processes. In 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (pp. 269-283). (Lecture notes in computer science; Vol. 7609). Heraklion, Crete, Greece. DOI: 10.1007/978-3-642-34026-0_20
  31. 2011
Previous 1 2 3 4 Next

ID: 32126