Jorge Perez Parra

View Scopus Profile

Jorge Perez Parra

Prof.

 https://orcid.org/0000-0002-1452-6180

  • Nijenborgh9, Gebouw 5161, ruimte 0376

    9747 AG Groningen

    Netherlands

Filter
Conference contribution

Search results

  • 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 Access
    File
    19 Downloads (Pure)
  • 2023

    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 Access
    File
    3 Citations (Scopus)
    53 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 Access
    File
    1 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 Access
    File
    2 Citations (Scopus)
    26 Downloads (Pure)
  • 2022

    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 Access
    File
    1 Citation (Scopus)
    627 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 Access
    File
    1 Citation (Scopus)
    34 Downloads (Pure)
  • 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 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. 12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 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. 21

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    57 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 Access
    File
    7 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 Access
    File
    9 Citations (Scopus)
    923 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 Access
    File
    5 Citations (Scopus)
    89 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    120 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    319 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 proceeding › Conference contribution › Academic › peer-review

    15 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 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)

  • 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)

  • 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)

  • Reversible Semantics in Session-based Concurrency

    Mezzina, C. A. & Pérez, J. A., 2016, CEUR Workshop Proceedings. CEUR Workshop Proceedings, p. 221-226 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    4 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 proceeding › Conference contribution › Academic › peer-review

    10 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 proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    18 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

    50 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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. Seidl, H. (ed.). Berlin: Springer, p. 539-558 20 p. (Lecture Notes in Computer Science; vol. 7211).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    35 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 proceeding › Conference contribution › Academic › peer-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. Bruni, R. & Dingel, J. (eds.). Reykjavik, Iceland: Springer, p. 90-105 16 p. (Lecture Notes in Computer Science; vol. 6722).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    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. Carbone, M. & Petit, J. (eds.). Berlin: Springer, p. 48-63 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 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: Proceedings. Barthe, G. (ed.). Berlin: Springer, p. 136-155 20 p. (Lecture notes in computer science; vol. 6602).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 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: Springer, p. 442-453 12 p. (Lecture Notes in Computer Science; vol. 6199).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    23 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. Soares Barbosa, L. & Lumpe, M. (eds.). Guimarães, Portugal: Springer, p. 295-299 5 p. ( Lecture Notes in Computer Science; vol. 6921).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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. Hill, P. M. (ed.). Springer, p. 509-513 5 p. (Lecture Notes in Computer Science ; vol. 5649).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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. Leucker, M. & Morgan, C. (eds.). Springer, p. 155-169 15 p. ( Lecture Notes in Computer Science; vol. 5684).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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.. arXiv, p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    29 Downloads (Pure)
  • 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. de la Banda, G. & Pontelli, M. (eds.). Berlin: Springer, p. 677-681 5 p. (Lecture Notes in Computer Science ; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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. IEEE, p. 145-155 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    24 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. Garcia de la Banda, M. & Pontelli, E. (eds.). Berlin: Springer, p. 682-686 5 p. ( Lecture Notes in Computer Science; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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. Etalle , S. & Truszczyński, M. (eds.). Berlin: Springer, p. 449-450 2 p. (Lecture Notes in Computer Science; vol. 4079).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 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 proceeding › Conference contribution › Academic › peer-review