Álvaro García-Pérez
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [c6]Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey:
Paxos Consensus, Deconstructed and Abstracted. ESOP 2018: 912-939 - [i1]Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey:
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR abs/1802.05969 (2018) - 2017
- [j3]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebr. Meth. Program. 92: 64-86 (2017) - [c5]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CONCUR 2017: 10:1-10:16 - 2016
- [j2]Álvaro García-Pérez, Pablo Nogueira:
No solvable lambda-value term left behind. Logical Methods in Computer Science 12(2) (2016) - [c4]Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi 2016: 313-343 - 2014
- [j1]Álvaro García-Pérez, Pablo Nogueira:
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Sci. Comput. Program. 95: 176-199 (2014) - [c3]Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey:
Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014: 157-168 - 2013
- [c2]Álvaro García-Pérez, Pablo Nogueira:
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. PEPM 2013: 107-116 - [c1]Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro:
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP 2013: 85-96
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-18 00:26 CEST by the dblp team