Jorge Andres Perez Parra


AuthID: R-001-WNN

Confirmed Publications: 25



1
TITLE: Disciplined structured communications with disciplined runtime adaptation  Full Text
AUTHORS: Cinzia Di Giusto; Jorge A Perez ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 97, ISSUE: P2
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXED IN: Scopus WOS DBLP CrossRef: 31
3
TITLE: Towards formal interaction-based models of grid computing infrastructures  Full Text
AUTHORS: Restrepo, CAR; Aranda, J; Perez, JA ; Diaz Frias, JF;
PUBLISHED: 2014, SOURCE: 9th International Workshop on Developments in Computational Models, DCM 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 144
INDEXED IN: Scopus CrossRef
4
TITLE: Towards Global and Local Types for Adaptation
AUTHORS: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID
6
TITLE: Disciplined structured communications with consistent runtime adaptation  Full Text
AUTHORS: Di Giusto, C; Perez, JA ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Session types with runtime adaptation: Overview and examples  Full Text
AUTHORS: Di Giusto, C; Pérez, JA ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 137
INDEXED IN: Scopus CrossRef
8
TITLE: ADAPTABLE PROCESSES  Full Text
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTHORS: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID
10
TITLE: Steps on the road to component evolvability
AUTHORS: Bravetti, M; Di Giusto, C; Perez, JA ; Zavattaro, G;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Página 1 de 3. Total de resultados: 25.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service