Jorge A. Pérez
Rijksuniversiteit Groningen
H-index: 20
Europe-Netherlands
Top articles of Jorge A. Pérez
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Comparing Session Type Systems derived from Linear Logic | arXiv preprint arXiv:2401.14763 | Bas van den Heuvel Jorge A Pérez | 2024/1/26 |
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) | Logical Methods in Computer Science | Joseph WN Paulus Daniele Nantes-Sobrinho Jorge A Pérez | 2023/10/10 |
Monitoring Blackbox Implementations of Multiparty Session Protocols | Bas van den Heuvel Jorge A Pérez Rares A Dobre | 2023/10/1 | |
Bit-Vector Typestate Analysis | Formal Aspects of Computing | Alen Arslanagić Pavle Subotić Jorge A Pérez | 2023/9/13 |
Session-based concurrency in Maude: Executable semantics and type checking | Journal of Logical and Algebraic Methods in Programming | Carlos Alberto Ramírez Restrepo Juan C Jaramillo Jorge A Pérez | 2023/6/1 |
Typed Non-determinism in Functional and Concurrent Calculi | Bas van den Heuvel Joseph WN Paulus Daniele Nantes-Sobrinho Jorge A Pérez | 2023/11/21 | |
A Minimal Formulation of Session Types | arXiv preprint arXiv:2301.05301 | Alen Arslanagić Jorge A Pérez Dan Frumin | 2023/1/12 |
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency | Proceedings of the ACM on Programming Languages | Dan Frumin Emanuele D’Osualdo Bas van den Heuvel Jorge A Pérez | 2022/10/31 |
Session-based concurrency, declaratively | Acta Informatica | Mauricio Cano Hugo A López Jorge A Pérez Camilo Rueda | 2022/2 |
Scalable Typestate Analysis for Low-Latency Environments | arXiv preprint arXiv:2201.10627 | Alen Arslanagić Pavle Subotić Jorge A Pérez | 2022/1 |
A decentralized analysis of multiparty protocols | Science of Computer Programming | Bas van den Heuvel Jorge A Pérez | 2022/10/1 |
Comparing type systems for deadlock freedom | Journal of Logical and Algebraic Methods in Programming | Ornela Dardha Jorge A Pérez | 2022/1/1 |
Asynchronous Functional Sessions: Cyclic and Concurrent | Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, Warsaw, Poland | Bas van den Heuvel Jorge A Pérez | 2022/9/6 |
Executable Semantics and Type Checking for Session-Based Concurrency in Maude | Carlos Alberto Ramírez Restrepo Jorge A Pérez | 2022/4/2 | |
Collapsing Non-determinism in Typed Lambda-and Pi-calculi | arXiv preprint arXiv:2205.00680 | Bas van den Heuvel Joseph WN Paulus Daniele Nantes-Sobrinho Jorge A Pérez | 2022/5/2 |
Minimal Session Types for the π-calculus | Alen Arslanagic Anda-Amelia Palamariuc Jorge A Pérez | 2021/9/6 | |
Minimal Session Types for the\pi-calculus (Extended Version) | arXiv preprint arXiv:2107.10936 | Alen Arslanagic Anda-Amelia Palamariuc Jorge A Pérez | 2021/7/22 |
Session coalgebras: A coalgebraic view on session types and communication protocols | Alex C Keizer Henning Basold Jorge A Pérez | 2021/3/23 | |
On primitives for compensation handling as adaptable processes | Journal of Logical and Algebraic Methods in Programming | Jovana Dedeić Jovanka Pantović Jorge A Pérez | 2021/6/1 |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 |