BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: P=eacute=rez:Jorge_A=

Contributed to:

PPDP 20152015
ESOP 20132013
SAC 20132013
ESOP 20122012
ESOP 20112011
ICALP (2) 20102010
ICLP 20092009
ICLP 20082008
LICS 20082008
ESOP 20162016
ESOP 20172017
ECOOP 20192019
PPDP 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.