Travelled to:1 × Estonia
1 × France
1 × Germany
1 × Portugal
2 × USA
3 × Italy
Collaborated with:L.Caires C.Rueda F.Pfenning B.Toninho C.D.Giusto I.Lanese D.Sangiorgi A.Schmitt C.A.Mezzina J.Aranda F.D.Valencia D.Kouzapas N.Yoshida Alen Arslanagic Erik Voogd M.Cano H.A.López J.C.Seco H.T.Vieira L.Ferrão G.Assayag C.Olarte M.Toro
Talks about:session (5) concurr (4) base (4) communic (3) behavior (3) process (3) express (3) higher (3) order (3) type (3)
Person: Jorge A. Pérez
DBLP: P=eacute=rez:Jorge_A=
Contributed to:
2015
2013
201320122011
2010
20092008
200820162017
20192017Wrote 14 papers:
- PPDP-2015-CanoRLP #concurrent #declarative
- Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
- ESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism
- Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
- SAC-2013-GiustoP #adaptation #consistency #runtime
- Disciplined structured communications with consistent runtime adaptation (CDG, JAP), pp. 1913–1918.
- ESOP-2012-PerezCPT #concurrent #linear #logic
- Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.
- ESOP-2011-CairesPSVF #data access #type system
- Type-Based Access Control in Data-Centric Systems (LC, JAP, JCS, HTV, LF), pp. 136–155.
- ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
- ICLP-2009-ArandaAOPRTV #declarative #overview
- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.
- ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.
- ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
- LICS-2008-LanesePSS #calculus #decidability #higher-order #on the #process
- On the Expressiveness and Decidability of Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 145–155.
- ESOP-2016-KouzapasPY #higher-order #on the #process
- On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.
- ESOP-2017-CairesP #behaviour
- Linearity, Control Effects, and Behavioral Types (LC, JAP), pp. 229–259.
- ECOOP-2019-ArslanagicPV
- Minimal Session Types (Pearl) (AA, JAP, EV), p. 28.
- PPDP-2017-MezzinaP #approach #consistency
- Causally consistent reversible choreographies: a monitors-as-memories approach (CAM, JAP), pp. 127–138.