• Nijenborgh9, Gebouw 5161, ruimte 0376

    9747 AG Groningen

    Netherlands

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Minimal Session Types for the π-calculus

    Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-Sep-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. 12

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. 21

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    7 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., Jul-2020, 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). IEEE, p. 145-152 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    15 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    42 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    64 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    165 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-138

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • 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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • 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 proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • 2016

    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 proceedingConference contributionAcademicpeer-review

    21 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 proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • Reversible Sessions Using Monitors

    Mezzina, C. A. & Perez Parra, J. A., Jul-2016, Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016). Orchard, D. & Yoshida, N. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 56–64 (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 211).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • The Challenge of Typed Expressiveness in Concurrency

    Perez, J. A., Jun-2016, Proc. of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE’16). Springer Verlag, p. 239– 247 (Lecture Notes in Computer Science; vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2015

    Characteristic Bisimulation for Higher-Order Session Processes

    Kouzapas, D., Pérez, J. A. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory, CONCUR 2015, September 1.4, 2015. Madrid, Spain, , p. 398-411 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    4 Citations (Scopus)
  • Comparing Deadlock-Free Session Typed Processes

    Dardha, O. & Pérez, J. A., 2015, 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.. Madrid, Spain: Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    9 Citations (Scopus)
  • Declarative interpretations of session-based concurrency

    Cano, M., Rueda, C., López, H. A. & Pérez, J. A., 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, July 14-16, 2015. Siena, Italy: ACM Press Digital Library, p. 67-78 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • On Compensation Primitives as Adaptable Processes

    Dedeic, J., Pantovic, J. & Pérez, J. A., 2015, 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.. Madrid, Spain, p. 16-30 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2014

    Towards Formal Interaction-Based Models of Grid Computing Infrastructures

    Restrepo, C. A. R., Pérez, J. A., Aranda, J. & Díaz, J. F., 2014, Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, 26 August 2013.. Buenos Aires, Argentina: Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 57-72 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2013

    Behavioral Polymorphism and Parametricity in Session-Based Communication

    Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2013, 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. Felleisen, M. & Gardner, P. (eds.). Rome, Italy: Springer, p. 330-349 20 p. ( Lecture Notes in Computer Science ; vol. 7792).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    34 Citations (Scopus)
  • Disciplined structured communications with consistent runtime adaptation

    Giusto, C. D. & Pérez, J. A., 2013, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, March 18-22, 2013. Coimbra, Portugal: ACM Press Digital Library, p. 1913-1918 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
  • Session Types with Runtime Adaptation: Overview and Examples

    Giusto, C. D. & Pérez, J. A., 2013, Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23rd March 2013.. Rome, Italy, p. 21-32 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    3 Citations (Scopus)
  • Towards Global and Local Types for Adaptation

    Bravetti, M., Carbone, M., Hildebrandt, T. T., Lanese, I., Mauro, J., Pérez, J. A. & Zavattaro, G., 2013, 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. Madrid, Spain, p. 3-14 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
  • 2012

    Linear Logical Relations for Session-Based Concurrency

    Pérez, J. A., Caires, L., Pfenning, F. & Toninho, B., 2012, 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. Tallinn, Estonia, p. 539-558 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    30 Citations (Scopus)
  • Towards the Verification of Adaptable Processes

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2012, 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Heraklion, Crete, Greece, p. 269-283 15 p. (Lecture notes in computer science; vol. 7609).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • 2011

    Adaptable Processes (Extended Abstract)

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2011, Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings: Formal Techniques for Distributed Systems. Reykjavik, Iceland, p. 90-105 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    6 Citations (Scopus)
  • Time and Exceptional Behavior in Multiparty Structured Interactions

    López, H. A. & Pérez, J. A., 2011, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers. Clermont-Ferrand, France, p. 48-63 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
  • Type-Based Access Control in Data-Centric Systems

    Caires, L., Pérez, J. A., Seco, J. C., Vieira, H. T. & Ferrão, L., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, March 26-April 3, 2011. Proceedings. Saarbrücken, Germany, p. 136-155 20 p. (Lecture notes in computer science; vol. 6602).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • 2010

    On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2010, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, July 6-10, 2010. Bordeaux, France, p. 442-453 12 p. (Lecture Notes in Computer Science; vol. 6199).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    22 Citations (Scopus)
  • Steps on the Road to Component Evolvability

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2010, Formal Aspects of Component Software - 7th International Workshop, FACS 2010, October 14-16, 2010, Revised Selected Papers. Guimarães, Portugal, p. 295-299 5 p. ( Lecture Notes in Computer Science; vol. 6921).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 2009

    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

    Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M. & Valencia, F. D., 2009, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. p. 509-513 5 p. (Lecture Notes in Computer Science ; vol. 5649).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

    Giusto, C. D. & Pérez, J. A., 2009, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. p. 107-112 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • On the Expressiveness of Forwarding in Higher-Order Communication

    Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2009, Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. p. 155-169 15 p. ( Lecture Notes in Computer Science; vol. 5684).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • On the Expressiveness of Polyadicity in Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2009, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. p. 143-149 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Towards a Unified Framework for Declarative Structured Communications

    López, H. A., Olarte, C. & Pérez, J. A., 2009, Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009.. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • 2008

    Non-determinism and Probabilities in Timed Concurrent Constraint Programming

    Pérez, J. A. & Rueda, C., 2008, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. p. 677-681 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • On the Expressiveness and Decidability of Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2008, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. p. 145-155 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    22 Citations (Scopus)
  • Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

    Aranda, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2008, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. p. 682-686 5 p. ( Lecture Notes in Computer Science; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2006

    A Declarative Framework for Security: Secure Concurrent Constraint Programming

    López, H. A., Palamidessi, C., Pérez, J. A., Rueda, C. & Valencia, F. D., 2006, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. p. 449-450 2 p. (Lecture Notes in Computer Science; vol. 4079).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 2005

    Implementing an Abstraction Framework for Soft Constraints

    Delgado, A., Pérez, J. A. & Rueda, C., 2005, Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. p. 60-75 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2004

    An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine

    Delgado, A., Pérez, J. A., Pabón, G., Jordan, R., Díaz, J. F. & Rueda, C., 2004, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. p. 317-327 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • Implementing Semiring-Based Constraints Using Mozart

    Delgado, A., Olarte, C. A., Pérez, J. A. & Rueda, C., 2004, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. p. 224-236 13 p. ( Lecture Notes in Computer Science; vol. 3389).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)