Research output per year
Research output per year
- 1 - 50 out of 90 results
Search results
-
2025
Comparing session type systems derived from linear logic
van den Heuvel, B. & Pérez, J. A., Jan-2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 26 p., 101004.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile15 Downloads (Pure) -
2024
Around Classical and Intuitionistic Linear Processes
Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile18 Downloads (Pure) -
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
van den Heuvel, B. & Pérez, J. A., 7-Oct-2024, In: Logical Methods in Computer Science. 20, 4, p. 6:1-6:103 103 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile7 Downloads (Pure) -
Minimal session types for the π-calculus
Arslanagić, A., Pérez, J. A. & Palamariuc, A. A., Mar-2024, In: Information and Computation. 297, 67 p., 105148.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile27 Downloads (Pure) -
2023
Bit-Vector Typestate Analysis
Arslanagic, A., Subotić, P. & Pérez, J. A., Sept-2023, In: Formal Aspects of Computing. 35, 3, p. 1-36 36 p., 19.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile48 Downloads (Pure) -
Monitoring Blackbox Implementations of Multiparty Session Protocols
van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-Oct-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer, p. 66-85 20 p. (Lecture Notes in Computer Science; vol. 14245).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)53 Downloads (Pure) -
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Paulus, J., Nantes-Sobrinho, D. & Pérez, J. A., 10-Oct-2023, In: Logical Methods in Computer Science. 19, 4, 120 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile61 Downloads (Pure) -
Session-based concurrency in Maude: Executable semantics and type checking
Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., Jun-2023, In: The Journal of Logical and Algebraic Methods in Programming. 133, 100872.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile83 Downloads (Pure) -
Termination in Concurrency, Revisited
Paulus, J. W. N., Pérez, J. A. & Nantes-Sobrinho, D., 22-Oct-2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. Association for Computing Machinery, 14 p. 3. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)46 Downloads (Pure) -
Typed Non-determinism in Functional and Concurrent Calculi
van den Heuvel, B., Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 2023, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Hur, C.-K. (ed.). Singapore: Springer Science and Business Media Deutschland GmbH, p. 112-132 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14405 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)26 Downloads (Pure) -
2022
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., Oct-2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 841-869 29 p., 155.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)60 Downloads (Pure) -
A decentralized analysis of multiparty protocols
van den Heuvel, B. & Pérez, J. A., 1-Oct-2022, In: Science of computer programming. 222, 102840.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile6 Citations (Scopus)79 Downloads (Pure) -
Asynchronous Functional Sessions: Cyclic and Concurrent
van den Heuvel, B. & Pérez, J. A., 6-Sept-2022, (Submitted) In: Electronic Proceedings in Theoretical Computer Science. 368, p. 75-94 20 p.Research output: Contribution to journal › Article › Academic › peer-review
File73 Downloads (Pure) -
Comparing type systems for deadlock freedom
Dardha, O. & Pérez, J. A., Jan-2022, In: The Journal of Logical and Algebraic Methods in Programming. 124, 43 p., 100717.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile12 Citations (Scopus)93 Downloads (Pure) -
Scalable Typestate Analysis for Low-Latency Environments
Arslanagic, A., Pérez, J. A. & Subotić, P., 1-Jun-2022, Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer, p. 322–340 9 p. (Lecture Notes in Computer Science; vol. 13274).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)626 Downloads (Pure) -
Session-based concurrency, declaratively
Cano , M., López, H. A., Pérez, J. A. & Rueda, C., Feb-2022, In: Acta informatica. 59, p. 1-87 87 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)60 Downloads (Pure) -
Session Coalgebras: A Coalgebraic View on Regular and Context-Free Session Types
Basold, H., Keizer, A. C. & Pérez, J. A., 15-Jul-2022, In: Acm transactions on programming languages and systems. 44, 3, 45 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)73 Downloads (Pure) -
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes
Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 4-Aug-2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 11.1-11.24 24 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 239).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)34 Downloads (Pure) -
2021
Causal Consistency for Reversible Multiparty Protocols
Mezzina, C. & Pérez, J. A., 2021, In: Logical Methods in Computer Science. 17, 4, p. 1:1-1:41 41 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)55 Downloads (Pure) -
Deadlock Freedom for Asynchronous and Cyclic Process Networks
van den Heuvel, B. & Pérez, J. A., 2-Oct-2021, Proceedings 14th Interaction and Concurrency Experience (ICE 2021). Lange, J., Mavridou, A., Safina, L. & Scalas, A. (eds.). Open Publishing Association, p. 38-56 19 p. (Electronic Proceedings in Theoretical Computer Science; vol. 347).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile4 Citations (Scopus)73 Downloads (Pure) -
Minimal Session Types for the π-calculus
Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-Sept-2021, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (eds.). New York: Association for Computing Machinery, 15 p. 12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)68 Downloads (Pure) -
Non-Deterministic Functions as Non-Deterministic Processes
Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 6-Jul-2021, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 22 p. 21Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)57 Downloads (Pure) -
On primitives for compensation handling as adaptable processes
Dedeić, J., Pantović, J. & Pérez, J. A., Jun-2021, In: The Journal of Logical and Algebraic Methods in Programming. 121, 65 p., 100675.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)74 Downloads (Pure) -
Preface to Special Issue: EXPRESS/SOS 2018
Pérez, J. A. (Guest editor) & Tini, S. (Guest editor), Dec-2021, In: Information and Computation. 281, 104670.Research output: Contribution to journal › Editorial › Academic › peer-review
Open AccessFile52 Downloads (Pure) -
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Keizer, A. C., Basold, H. & Pérez, J. A., 2021, Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Yoshida, N. (ed.). Cham: Springer, p. 375-403 29 p. (Lecture Notes in Computer Science; vol. 12648).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile7 Citations (Scopus)126 Downloads (Pure) -
2020
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains
Soelman, M., Andrikopoulos, V., Perez, J. A., Theodosiadis, V., Goense, K. & Rutjes, A., Aug-2020, 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). IEEE, p. 145-152 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile9 Citations (Scopus)923 Downloads (Pure) -
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Heuvel, B. V. D. & Pérez, J. A., 3-Apr-2020, In: Electronic Notes in Theoretical Computer Science. 314, p. 1-11 11 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile9 Citations (Scopus)196 Downloads (Pure) -
2019
Domain-Aware Session Types
Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile5 Citations (Scopus)89 Downloads (Pure) -
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
-
Minimal Session Types
Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)120 Downloads (Pure) -
On the relative expressiveness of higher-order session processes
Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In: Information and Computation. 268, 54 p., 104433.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile11 Citations (Scopus)72 Downloads (Pure) -
Preface to special issue: ICTAC 2015
Leucker, M., Perez, J. A., Rueda, C. & Valencia, F. D., Jan-2019, In: Mathematical structures in computer science. 29, 1, p. 1-2 2 p.Research output: Contribution to journal › Editorial › Academic
Open AccessFile51 Downloads (Pure) -
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 -
Reversible Session-Based Concurrency in Haskell
Vries, de, F. & Perez, J. A., 2019, Trends in Functional Programming . Palka, M. & Myreen, M. (eds.). Cham: Springer, p. 20-45 ( Lecture Notes in Computer Science; vol. 11457).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)319 Downloads (Pure) -
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 -
Relating Process Languages for Security and Communication Correctness (Extended Abstract)
Nantes, D. & Pérez, J. A., 2018, p. 79-100. 22 p.Research output: Contribution to conference › Paper › Academic
Open AccessFile1 Citation (Scopus)243 Downloads (Pure) -
Runtime Verification for Decentralised and Distributed Systems
Francalanza, A., Pérez, J. A. & Sánchez, C., Feb-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile51 Citations (Scopus)672 Downloads (Pure) -
2017
Causally consistent reversible choreographies: A monitors-as-memories approach
Mezzina, C. A. & Perez , J. A., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). ACM Press Digital Library, p. 127-138Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
15 Citations (Scopus) -
Characteristic bisimulation for higher-order session processes
Kouzapas, D., Pérez, J. A. & Yoshida, N., May-2017, In: Acta informatica. 54, 3, p. 271-341 69 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile7 Citations (Scopus)270 Downloads (Pure) -
Efficient compensation handling via subjective updates
Dedeić, J., Pantović, J. & Pérez, J. A., 3-Apr-2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 51-58 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus) -
Linearity, Control Effects, and Behavioral Types
Caires, L. & Perez Parra, J. A., 2017, Programming Languages and Systems. Yang, H. (ed.). Springer, p. 229-259 31 p. ( Lecture Notes in Computer Science ; vol. 10201).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
27 Citations (Scopus) -
Reversibility in session-based concurrency: A fresh look
Mezzina, C. A. & Pérez, J. A., Aug-2017, In: The Journal of Logical and Algebraic Methods in Programming. 90, p. 2-30 29 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile12 Citations (Scopus)142 Downloads (Pure) -
Session-Based Concurrency, Reactively
Cano Grijalba, M., Arias, J. & Perez Parra, J. A., 2017, 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. Springer Verlag, p. 74-91 18 p. (Lecture Notes in Computer Science ; vol. 10321).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus) -
2016
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
Di Giusto, C. & Pérez, J. A., 2016, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. Ravara, A., Hildebrandt, T., Weidlich, M. & van der Werf, J. M. (eds.). Springer Verlag, p. 67-85 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9421).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5 Citations (Scopus) -
A Typed Model for Dynamic Authorizations
Ghilezan, S., Jaksic, S., Pantovic, J., Perez, J. A. & Vieira, H. T., 2016, In: Electronic Proceedings in Theoretical Computer Science. 203, p. 73-84 12 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)254 Downloads (Pure) -
Dynamic Role Authorization in Multiparty Conversations
Ghilezan, S., Jaksic, S., Pantovic, J., Pérez, J. A. & Vieira, H. T., 18-Mar-2016, In: Formal Aspects of Computing. 28, 4, p. 643–667 8 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)226 Downloads (Pure) -
Event-based run-time adaptation in communication-centric systems
Di Giusto, C. & Perez Parra, J. A., Jul-2016, In: Formal Aspects of Computing. 28, 4, p. 531-566Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)223 Downloads (Pure) -
Multiparty Session Types Within A Canonical Binary Theory, and Beyond
Caires, L. & Perez Parra, J. A., Jun-2016, 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. Albert, E. & Lanese, I. (eds.). Springer Verlag, p. 74–95 ( Lecture Notes in Computer Science; vol. 9688).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
32 Citations (Scopus) -
On the Relative Expressiveness of Higher-Order Session Processes
Yoshida, N., Kouzapas, D. & Perez Parra, J. A., 22-Mar-2016, 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. Springer Verlag, p. 446-475 (Lecture Notes in Computer Science; vol. 9632).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
15 Citations (Scopus) -
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